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/--
libcoq-mtac2_1.4+8.20-1+b4_s390x.deb 778K18-Feb-2025 21:01
libcoq-mtac2_1.4+8.20-1+b3_riscv64.deb 779K18-Feb-2025 10:34
libcoq-mtac2_1.4+8.20-1+b3_arm64.deb 783K18-Feb-2025 05:27
libcoq-mtac2_1.4+8.20-1+b4_ppc64el.deb 779K18-Feb-2025 04:51
libcoq-mtac2_1.4+8.20-1+b3_amd64.deb 775K18-Feb-2025 04:46
coq-mtac2_1.4+8.20.orig.tar.gz 246K23-Nov-2024 19:27
coq-mtac2_1.4+8.20-1.dsc 210023-Nov-2024 19:27
coq-mtac2_1.4+8.20-1.debian.tar.xz 292423-Nov-2024 19:27
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb 748K14-Feb-2023 15:17
libcoq-mtac2_1.4+8.16-2+b1_i386.deb 733K13-Feb-2023 11:34
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb 748K13-Feb-2023 11:33
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 745K13-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_arm64.deb 754K13-Feb-2023 11:28
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