NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-mtac2_1.4+8.18-1build3.debian.tar.xz2024-04-08 03:57 2.9KTAR compressed archive
[ ]coq-mtac2_1.4+8.18-1build3.dsc2024-04-08 03:57 2.1K 
[ ]coq-mtac2_1.4+8.18.orig.tar.gz2023-12-23 12:16 246KGZIP compressed TAR archive
[ ]coq-mtac2_1.4+8.20-1build5.debian.tar.xz2025-02-19 13:58 3.0KTAR compressed archive
[ ]coq-mtac2_1.4+8.20-1build5.dsc2025-02-19 13:58 2.0K 
[ ]coq-mtac2_1.4+8.20-1build6.debian.tar.xz2025-06-20 09:22 3.1KTAR compressed archive
[ ]coq-mtac2_1.4+8.20-1build6.dsc2025-06-20 09:22 2.0K 
[ ]coq-mtac2_1.4+8.20-1build9.debian.tar.xz2026-03-04 12:33 3.2KTAR compressed archive
[ ]coq-mtac2_1.4+8.20-1build9.dsc2026-03-04 12:33 2.0K 
[ ]coq-mtac2_1.4+8.20.orig.tar.gz2024-11-23 19:12 246KGZIP compressed TAR archive
[ ]coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz2026-08-31 04:08 4.6KTAR compressed archive
[ ]coq-mtac2_1.4-rocq9.1-2build1.dsc2026-08-31 04:08 2.1K 
[ ]coq-mtac2_1.4-rocq9.1-2build2.debian.tar.xz2026-09-10 03:04 4.6KTAR compressed archive
[ ]coq-mtac2_1.4-rocq9.1-2build2.dsc2026-09-10 03:04 2.1K 
[ ]coq-mtac2_1.4-rocq9.1.orig.tar.gz2026-07-28 20:05 247KGZIP compressed TAR archive
[ ]libcoq-mtac2_1.4+8.18-1build3_amd64.deb2024-04-08 06:59 865K 
[ ]libcoq-mtac2_1.4+8.20-1build5_amd64.deb2025-02-19 18:03 873K 
[ ]libcoq-mtac2_1.4+8.20-1build6_amd64.deb2025-06-20 13:40 871K 
[ ]libcoq-mtac2_1.4+8.20-1build6_arm64.deb2025-06-20 13:40 890K 
[ ]libcoq-mtac2_1.4+8.20-1build9_amd64.deb2026-03-04 12:34 871K 
[ ]libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb2026-03-04 12:34 871K 
[ ]libcoq-mtac2_1.4+8.20-1build9_arm64.deb2026-03-05 03:49 890K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build1_amd64.deb2026-08-31 04:27 876K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build1_amd64v3.deb2026-08-31 04:28 876K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build1_arm64.deb2026-08-31 04:28 896K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build2_amd64.deb2026-09-10 15:32 876K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build2_amd64v3.deb2026-09-10 14:35 876K 
[ ]libcoq-mtac2_1.4-rocq9.1-2build2_arm64.deb2026-09-10 15:32 896K