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.orig.tar.gz 245K06-Sep-2022 13:09
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
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_amd64.deb 745K13-Feb-2023 11:28
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb 748K13-Feb-2023 11:33
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
coq-mtac2_1.4+8.19.orig.tar.gz 246K26-Apr-2024 18:06
coq-mtac2_1.4+8.19-2.dsc 187204-Aug-2024 09:25
coq-mtac2_1.4+8.19-2.debian.tar.xz 285604-Aug-2024 09:25
libcoq-mtac2_1.4+8.19-2+b2_amd64.deb 792K21-Aug-2024 08:04
libcoq-mtac2_1.4+8.19-2+b2_arm64.deb 800K21-Aug-2024 08:24
libcoq-mtac2_1.4+8.19-2+b2_s390x.deb 794K21-Aug-2024 09:36
libcoq-mtac2_1.4+8.19-2+b2_riscv64.deb 795K21-Aug-2024 11:49
libcoq-mtac2_1.4+8.19-2+b3_ppc64el.deb 794K31-Aug-2024 07:39