ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/coqprime/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coqprime-tools_8.15-2+b1_amd64.deb 132K13-Feb-2023 11:44
coqprime-tools_8.15-2+b1_arm64.deb 131K13-Feb-2023 11:44
coqprime-tools_8.15-2+b1_armhf.deb 129K13-Feb-2023 11:44
coqprime-tools_8.15-2+b1_i386.deb 134K13-Feb-2023 11:44
coqprime-tools_8.15-2+b1_ppc64el.deb 133K14-Feb-2023 15:27
coqprime-tools_8.15-2+b1_s390x.deb 130K13-Feb-2023 11:39
coqprime-tools_8.20.1-1+b1_amd64.deb 140K30-Jan-2025 11:37
coqprime-tools_8.20.1-1+b1_arm64.deb 139K30-Jan-2025 11:37
coqprime-tools_8.20.1-1+b1_ppc64el.deb 141K30-Jan-2025 11:37
coqprime-tools_8.20.1-1+b1_riscv64.deb 143K31-Jan-2025 04:26
coqprime-tools_8.20.1-1+b1_s390x.deb 138K30-Jan-2025 12:02
coqprime-tools_8.20.1-1_amd64.deb 139K24-Jan-2025 03:05
coqprime-tools_8.20.1-1_arm64.deb 138K24-Jan-2025 03:05
coqprime-tools_8.20.1-1_ppc64el.deb 140K24-Jan-2025 03:05
coqprime-tools_8.20.1-1_riscv64.deb 140K24-Jan-2025 03:31
coqprime-tools_8.20.1-1_s390x.deb 138K24-Jan-2025 03:56
coqprime_8.15-2.debian.tar.xz 357626-Jan-2023 16:44
coqprime_8.15-2.dsc 214926-Jan-2023 16:44
coqprime_8.15.orig.tar.gz 964K15-Jul-2022 12:46
coqprime_8.20.1-1.debian.tar.xz 346824-Jan-2025 02:02
coqprime_8.20.1-1.dsc 217824-Jan-2025 02:02
coqprime_8.20.1.orig.tar.gz 973K24-Jan-2025 02:02
libcoq-coqprime_8.15-2+b1_amd64.deb 2M13-Feb-2023 11:44
libcoq-coqprime_8.15-2+b1_arm64.deb 2M13-Feb-2023 11:44
libcoq-coqprime_8.15-2+b1_armhf.deb 2M13-Feb-2023 11:44
libcoq-coqprime_8.15-2+b1_i386.deb 2M13-Feb-2023 11:44
libcoq-coqprime_8.15-2+b1_ppc64el.deb 2M14-Feb-2023 15:27
libcoq-coqprime_8.15-2+b1_s390x.deb 2M13-Feb-2023 11:39
libcoq-coqprime_8.20.1-1+b1_amd64.deb 2M30-Jan-2025 11:37
libcoq-coqprime_8.20.1-1+b1_arm64.deb 2M30-Jan-2025 11:37
libcoq-coqprime_8.20.1-1+b1_ppc64el.deb 2M30-Jan-2025 11:37
libcoq-coqprime_8.20.1-1+b1_riscv64.deb 2M31-Jan-2025 04:26
libcoq-coqprime_8.20.1-1+b1_s390x.deb 2M30-Jan-2025 12:02
libcoq-coqprime_8.20.1-1_amd64.deb 2M24-Jan-2025 03:05
libcoq-coqprime_8.20.1-1_arm64.deb 2M24-Jan-2025 03:05
libcoq-coqprime_8.20.1-1_ppc64el.deb 2M24-Jan-2025 03:05
libcoq-coqprime_8.20.1-1_riscv64.deb 2M24-Jan-2025 03:31
libcoq-coqprime_8.20.1-1_s390x.deb 2M24-Jan-2025 03:56