Filename Modification time Size coq-mtac2_1.4+8.18-1build3.debian.tar.xz 2024-04-08 09:57 CEST 2952 B coq-mtac2_1.4+8.18-1build3.dsc 2024-04-08 09:57 CEST 2178 B coq-mtac2_1.4+8.18.orig.tar.gz 2023-12-23 18:16 CET 246 KiB coq-mtac2_1.4+8.20-1build5.debian.tar.xz 2025-02-19 19:58 CET 3120 B coq-mtac2_1.4+8.20-1build5.dsc 2025-02-19 19:58 CET 2099 B coq-mtac2_1.4+8.20-1build6.debian.tar.xz 2025-06-20 15:22 CEST 3140 B coq-mtac2_1.4+8.20-1build6.dsc 2025-06-20 15:22 CEST 2099 B coq-mtac2_1.4+8.20-1build9.debian.tar.xz 2026-03-04 18:33 CET 3228 B coq-mtac2_1.4+8.20-1build9.dsc 2026-03-04 18:33 CET 2099 B coq-mtac2_1.4+8.20-1build10.debian.tar.xz 2026-07-09 01:38 CEST 3248 B coq-mtac2_1.4+8.20-1build10.dsc 2026-07-09 01:38 CEST 2103 B coq-mtac2_1.4+8.20.orig.tar.gz 2024-11-24 01:12 CET 246 KiB libcoq-mtac2_1.4+8.18-1build3_amd64.deb 2024-04-08 12:59 CEST 865 KiB libcoq-mtac2_1.4+8.20-1build5_amd64.deb 2025-02-20 00:03 CET 873 KiB libcoq-mtac2_1.4+8.20-1build6_amd64.deb 2025-06-20 19:40 CEST 871 KiB libcoq-mtac2_1.4+8.20-1build6_arm64.deb 2025-06-20 19:40 CEST 890 KiB libcoq-mtac2_1.4+8.20-1build9_amd64.deb 2026-03-04 18:34 CET 871 KiB libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb 2026-03-04 18:34 CET 871 KiB libcoq-mtac2_1.4+8.20-1build9_arm64.deb 2026-03-05 09:49 CET 890 KiB libcoq-mtac2_1.4+8.20-1build10_amd64.deb 2026-07-09 13:44 CEST 871 KiB libcoq-mtac2_1.4+8.20-1build10_amd64v3.deb 2026-07-09 13:44 CEST 871 KiB libcoq-mtac2_1.4+8.20-1build10_arm64.deb 2026-07-09 21:32 CEST 890 KiB
