|
📁 ../
|
- |
- |
|
📄 coq-mtac2_1.4+8.16-2.debian.tar.xz
|
2480 bytes
|
2023-01-26 12:44:31 |
|
📄 coq-mtac2_1.4+8.16-2.dsc
|
2100 bytes
|
2023-01-26 12:44:31 |
|
📄 coq-mtac2_1.4+8.16.orig.tar.gz
|
251070 bytes
|
2022-09-06 09:09:10 |
|
📄 coq-mtac2_1.4+8.20-1.debian.tar.xz
|
2924 bytes
|
2024-11-23 15:27:26 |
|
📄 coq-mtac2_1.4+8.20-1.dsc
|
2100 bytes
|
2024-11-23 15:27:26 |
|
📄 coq-mtac2_1.4+8.20.orig.tar.gz
|
252390 bytes
|
2024-11-23 15:27:26 |
|
📄 coq-mtac2_1.4+9.0-2.debian.tar.xz
|
4508 bytes
|
2025-11-11 18:46:06 |
|
📄 coq-mtac2_1.4+9.0-2.dsc
|
2112 bytes
|
2025-11-11 18:46:06 |
|
📄 coq-mtac2_1.4+9.0.orig.tar.gz
|
252586 bytes
|
2025-10-29 09:29:26 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_amd64.deb
|
762732 bytes
|
2023-02-13 07:28:56 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_arm64.deb
|
771848 bytes
|
2023-02-13 07:28:47 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_armhf.deb
|
760920 bytes
|
2023-02-13 07:28:49 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_i386.deb
|
750740 bytes
|
2023-02-13 07:34:00 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb
|
766080 bytes
|
2023-02-14 11:17:21 |
|
📄 libcoq-mtac2_1.4+8.16-2+b1_s390x.deb
|
766236 bytes
|
2023-02-13 07:33:59 |
|
📄 libcoq-mtac2_1.4+8.20-1+b4_amd64.deb
|
794248 bytes
|
2025-06-15 11:15:13 |
|
📄 libcoq-mtac2_1.4+8.20-1+b4_arm64.deb
|
801984 bytes
|
2025-06-15 11:15:15 |
|
📄 libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb
|
797976 bytes
|
2025-06-15 12:21:55 |
|
📄 libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb
|
796608 bytes
|
2025-06-15 11:20:17 |
|
📄 libcoq-mtac2_1.4+8.20-1+b5_s390x.deb
|
796424 bytes
|
2025-06-17 08:36:41 |
|
📄 libcoq-mtac2_1.4+9.0-2_amd64.deb
|
795808 bytes
|
2025-11-11 18:46:06 |