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.20-1.dsc 210023-Nov-2024 19:27
coq-mtac2_1.4+8.16-2.dsc 210026-Jan-2023 16:44
coq-mtac2_1.4+8.16-2.debian.tar.xz 248026-Jan-2023 16:44
coq-mtac2_1.4+8.20-1.debian.tar.xz 292423-Nov-2024 19:27
coq-mtac2_1.4+8.16.orig.tar.gz 245K06-Sep-2022 13:09
coq-mtac2_1.4+8.20.orig.tar.gz 246K23-Nov-2024 19:27
libcoq-mtac2_1.4+8.16-2+b1_i386.deb 733K13-Feb-2023 11:34
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 743K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 745K13-Feb-2023 11:28
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.16-2+b1_arm64.deb 754K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.20-1+b1_amd64.deb 775K30-Jan-2025 11:52
libcoq-mtac2_1.4+8.20-1+b2_amd64.deb 775K14-Feb-2025 10:04
libcoq-mtac2_1.4+8.20-1+b2_s390x.deb 777K30-Jan-2025 11:57
libcoq-mtac2_1.4+8.20-1+b3_s390x.deb 777K14-Feb-2025 11:52
libcoq-mtac2_1.4+8.20-1+b3_ppc64el.deb 778K14-Feb-2025 10:04
libcoq-mtac2_1.4+8.20-1+b2_ppc64el.deb 778K30-Jan-2025 11:37
libcoq-mtac2_1.4+8.20-1+b2_riscv64.deb 779K14-Feb-2025 15:08
libcoq-mtac2_1.4+8.20-1+b1_riscv64.deb 779K31-Jan-2025 04:14
libcoq-mtac2_1.4+8.20-1+b1_arm64.deb 783K30-Jan-2025 11:57
libcoq-mtac2_1.4+8.20-1+b2_arm64.deb 784K14-Feb-2025 10:04