Index of /ubuntu/pool/universe/c/coq-unicoq

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-unicoq_1.6-8.15-2.debian.tar.xz       2022-07-21 01:19  2.2K  
[   ] coq-unicoq_1.6-8.15-2.dsc                 2022-07-21 01:19  2.0K  
[   ] coq-unicoq_1.6-8.15.orig.tar.gz           2022-07-21 01:19  580K  
[   ] coq-unicoq_1.6-8.16-2build1.debian.tar.xz 2023-01-26 14:54  2.4K  
[   ] coq-unicoq_1.6-8.16-2build1.dsc           2023-01-26 14:54  2.0K  
[   ] coq-unicoq_1.6-8.16.orig.tar.gz           2022-11-06 04:17  580K  
[   ] libcoq-unicoq_1.6-8.15-2_amd64.deb        2022-07-21 07:39   82K  
[   ] libcoq-unicoq_1.6-8.16-2build1_amd64.deb  2023-01-26 14:54   84K