ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/coq-mtac2/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-mtac2_1.4+8.16-2.debian.tar.xz 248026-Jan-2023 16:44
coq-mtac2_1.4+8.16-2.dsc 210026-Jan-2023 16:44
coq-mtac2_1.4+8.16.orig.tar.gz 245K06-Sep-2022 13:09
coq-mtac2_1.4+8.20-1.debian.tar.xz 292423-Nov-2024 19:27
coq-mtac2_1.4+8.20-1.dsc 210023-Nov-2024 19:27
coq-mtac2_1.4+8.20.orig.tar.gz 246K23-Nov-2024 19:27
coq-mtac2_1.4-rocq9.1-1.debian.tar.xz 448011-Jul-2026 10:55
coq-mtac2_1.4-rocq9.1-1.dsc 214011-Jul-2026 10:55
coq-mtac2_1.4-rocq9.1.orig.tar.gz 247K11-Jul-2026 10:55
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 745K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 754K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 743K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.16-2+b1_i386.deb 733K13-Feb-2023 11:34
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb 748K14-Feb-2023 15:17
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb 748K13-Feb-2023 11:33
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb 776K15-Jun-2025 15:15
libcoq-mtac2_1.4+8.20-1+b4_arm64.deb 783K15-Jun-2025 15:15
libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb 779K15-Jun-2025 16:21
libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb 778K15-Jun-2025 15:20
libcoq-mtac2_1.4+8.20-1+b5_s390x.deb 778K17-Jun-2025 12:36
libcoq-mtac2_1.4+8.20-1+b6_riscv64.deb 779K22-Jun-2026 17:58
libcoq-mtac2_1.4+8.20-1+b7_amd64.deb 773K20-Jun-2026 19:16
libcoq-mtac2_1.4+8.20-1+b7_arm64.deb 782K20-Jun-2026 19:00
libcoq-mtac2_1.4+8.20-1+b7_ppc64el.deb 777K20-Jun-2026 19:16
libcoq-mtac2_1.4+8.20-1+b7_s390x.deb 776K20-Jun-2026 19:16
libcoq-mtac2_1.4-rocq9.1-1_amd64.deb 775K11-Jul-2026 10:55
libcoq-mtac2_1.4-rocq9.1-1_arm64.deb 783K13-Jul-2026 13:26
libcoq-mtac2_1.4-rocq9.1-1_ppc64el.deb 778K13-Jul-2026 13:20
libcoq-mtac2_1.4-rocq9.1-1_riscv64.deb 781K14-Jul-2026 18:51
libcoq-mtac2_1.4-rocq9.1-1_s390x.deb 779K13-Jul-2026 13:05