Index of /debian/pool/main/c/coq-mtac2/

Index of /debian/pool/main/c/coq-mtac2/


../
coq-mtac2_1.4+8.16-2.debian.tar.xz                 26-Jan-2023 12:44                2480
coq-mtac2_1.4+8.16-2.dsc                           26-Jan-2023 12:44                2100
coq-mtac2_1.4+8.16.orig.tar.gz                     06-Sep-2022 09:09              251070
coq-mtac2_1.4+8.20-1.debian.tar.xz                 23-Nov-2024 15:27                2924
coq-mtac2_1.4+8.20-1.dsc                           23-Nov-2024 15:27                2100
coq-mtac2_1.4+8.20.orig.tar.gz                     23-Nov-2024 15:27              252390
coq-mtac2_1.4+9.0-2.debian.tar.xz                  11-Nov-2025 18:46                4508
coq-mtac2_1.4+9.0-2.dsc                            11-Nov-2025 18:46                2112
coq-mtac2_1.4+9.0.orig.tar.gz                      29-Oct-2025 09:29              252586
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb               13-Feb-2023 07:28              762732
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb               13-Feb-2023 07:28              771848
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb               13-Feb-2023 07:28              760920
libcoq-mtac2_1.4+8.16-2+b1_i386.deb                13-Feb-2023 07:34              750740
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb             14-Feb-2023 11:17              766080
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb               13-Feb-2023 07:33              766236
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb               15-Jun-2025 11:15              794248
libcoq-mtac2_1.4+8.20-1+b4_arm64.deb               15-Jun-2025 11:15              801984
libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb             15-Jun-2025 12:21              797976
libcoq-mtac2_1.4+8.20-1+b5_amd64.deb               28-Dec-2025 04:45              791576
libcoq-mtac2_1.4+8.20-1+b5_arm64.deb               28-Dec-2025 04:45              801156
libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb             15-Jun-2025 11:20              796608
libcoq-mtac2_1.4+8.20-1+b5_riscv64.deb             28-Dec-2025 07:02              797532
libcoq-mtac2_1.4+8.20-1+b5_s390x.deb               17-Jun-2025 08:36              796424
libcoq-mtac2_1.4+8.20-1+b6_ppc64el.deb             28-Dec-2025 04:50              795220
libcoq-mtac2_1.4+8.20-1+b6_s390x.deb               28-Dec-2025 05:10              795440
libcoq-mtac2_1.4+9.0-2_amd64.deb                   11-Nov-2025 18:46              795808

DISCLAIMER

This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.