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

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] coq-mtac2_1.4+8.18-1build3.debian.tar.xz     2024-04-08 02:57  2.9K  
[TXT] coq-mtac2_1.4+8.18-1build3.dsc               2024-04-08 02:57  2.1K  
[   ] coq-mtac2_1.4+8.18.orig.tar.gz               2023-12-23 11:16  246K  
[   ] coq-mtac2_1.4+8.20-1build5.debian.tar.xz     2025-02-19 12:58  3.0K  
[TXT] coq-mtac2_1.4+8.20-1build5.dsc               2025-02-19 12:58  2.0K  
[   ] coq-mtac2_1.4+8.20-1build6.debian.tar.xz     2025-06-20 08:22  3.1K  
[TXT] coq-mtac2_1.4+8.20-1build6.dsc               2025-06-20 08:22  2.0K  
[   ] coq-mtac2_1.4+8.20-1build9.debian.tar.xz     2026-03-04 11:33  3.2K  
[TXT] coq-mtac2_1.4+8.20-1build9.dsc               2026-03-04 11:33  2.0K  
[   ] coq-mtac2_1.4+8.20.orig.tar.gz               2024-11-23 18:12  246K  
[   ] coq-mtac2_1.4-rocq9.1-2build3.debian.tar.xz  2026-09-18 15:27  4.7K  
[TXT] coq-mtac2_1.4-rocq9.1-2build3.dsc            2026-09-18 15:27  2.1K  
[   ] coq-mtac2_1.4-rocq9.1.orig.tar.gz            2026-07-28 19:05  247K  
[   ] libcoq-mtac2_1.4+8.18-1build3_amd64.deb      2024-04-08 05:59  865K  
[   ] libcoq-mtac2_1.4+8.20-1build5_amd64.deb      2025-02-19 17:03  873K  
[   ] libcoq-mtac2_1.4+8.20-1build6_amd64.deb      2025-06-20 12:40  871K  
[   ] libcoq-mtac2_1.4+8.20-1build6_arm64.deb      2025-06-20 12:40  890K  
[   ] libcoq-mtac2_1.4+8.20-1build9_amd64.deb      2026-03-04 11:34  871K  
[   ] libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb    2026-03-04 11:34  871K  
[   ] libcoq-mtac2_1.4+8.20-1build9_arm64.deb      2026-03-05 02:49  890K  
[   ] libcoq-mtac2_1.4-rocq9.1-2build3_amd64.deb   2026-09-18 15:30  876K  
[   ] libcoq-mtac2_1.4-rocq9.1-2build3_amd64v3.deb 2026-09-18 15:31  876K  
[   ] libcoq-mtac2_1.4-rocq9.1-2build3_arm64.deb   2026-09-18 15:32  897K