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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 coq-unicoq_1.6-8.18-1build3.debian.tar.xz  2024-04-08 04:57  2.7K  
 coq-unicoq_1.6-8.18-1build3.dsc            2024-04-08 04:57  2.1K  
 coq-unicoq_1.6-8.18.orig.tar.gz            2023-12-22 14:26  580K  
 coq-unicoq_1.6-8.20-1build3.debian.tar.xz  2025-02-18 18:25  2.8K  
 coq-unicoq_1.6-8.20-1build3.dsc            2025-02-18 18:25  2.0K  
 coq-unicoq_1.6-8.20-1build4.debian.tar.xz  2025-06-20 10:22  2.8K  
 coq-unicoq_1.6-8.20-1build4.dsc            2025-06-20 10:22  2.0K  
 coq-unicoq_1.6-8.20-1build7.debian.tar.xz  2026-03-03 18:25  2.9K  
 coq-unicoq_1.6-8.20-1build7.dsc            2026-03-03 18:25  2.0K  
 coq-unicoq_1.6-8.20.orig.tar.gz            2024-11-23 21:12  580K  
 coq-unicoq_1.6-9.1-4build2.debian.tar.xz   2026-09-18 09:50  3.5K  
 coq-unicoq_1.6-9.1-4build2.dsc             2026-09-18 09:50  2.0K  
 coq-unicoq_1.6-9.1.orig.tar.gz             2026-07-28 14:29  580K  
 libcoq-unicoq_1.6-8.18-1build3_amd64.deb   2024-04-08 04:57   86K  
 libcoq-unicoq_1.6-8.20-1build3_amd64.deb   2025-02-18 18:25   91K  
 libcoq-unicoq_1.6-8.20-1build4_amd64.deb   2025-06-20 10:23   91K  
 libcoq-unicoq_1.6-8.20-1build4_arm64.deb   2025-06-20 10:24  100K  
 libcoq-unicoq_1.6-8.20-1build7_amd64.deb   2026-03-03 18:26   90K  
 libcoq-unicoq_1.6-8.20-1build7_amd64v3.deb 2026-03-03 18:26   90K  
 libcoq-unicoq_1.6-8.20-1build7_arm64.deb   2026-03-03 18:27  100K  
 libcoq-unicoq_1.6-9.1-4build2_amd64.deb    2026-09-18 11:17   91K  
 libcoq-unicoq_1.6-9.1-4build2_amd64v3.deb  2026-09-18 11:18   91K  
 libcoq-unicoq_1.6-9.1-4build2_arm64.deb    2026-09-18 11:18  100K