Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /pub/debian/pool/main/c/coqprime/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coqprime-tools_8.15-2+b1_amd64.deb132.3 KiB2023-02-13 07:44:04
coqprime-tools_8.15-2+b1_arm64.deb130.7 KiB2023-02-13 07:44:05
coqprime-tools_8.15-2+b1_armhf.deb129.3 KiB2023-02-13 07:44:18
coqprime-tools_8.15-2+b1_i386.deb133.6 KiB2023-02-13 07:44:16
coqprime-tools_8.15-2+b1_ppc64el.deb133.1 KiB2023-02-14 11:27:30
coqprime-tools_8.15-2+b1_s390x.deb129.5 KiB2023-02-13 07:39:03
coqprime-tools_8.18-1+b1_amd64.deb134.2 KiB2024-03-19 19:21:53
coqprime-tools_8.18-1+b1_arm64.deb133.1 KiB2024-03-19 19:21:52
coqprime-tools_8.18-1+b1_armhf.deb131.4 KiB2024-03-26 16:03:27
coqprime-tools_8.18-1+b1_i386.deb135.5 KiB2024-03-19 19:16:51
coqprime-tools_8.18-1+b1_ppc64el.deb135.0 KiB2024-03-19 19:16:49
coqprime-tools_8.18-1+b1_riscv64.deb135.2 KiB2024-04-11 04:35:19
coqprime-tools_8.18-1+b1_s390x.deb132.4 KiB2024-03-20 05:06:42
coqprime-tools_8.18-1_amd64.deb134.0 KiB2023-12-23 11:58:04
coqprime-tools_8.18-1_arm64.deb132.9 KiB2023-12-23 11:58:02
coqprime-tools_8.18-1_armhf.deb131.2 KiB2023-12-23 11:52:52
coqprime-tools_8.18-1_i386.deb135.4 KiB2023-12-23 11:58:04
coqprime-tools_8.18-1_ppc64el.deb134.9 KiB2023-12-23 11:52:57
coqprime-tools_8.18-1_s390x.deb132.2 KiB2023-12-23 11:58:03
coqprime-tools_8.19-1_amd64.deb133.9 KiB2024-04-28 15:16:24
coqprime-tools_8.19-1_arm64.deb132.9 KiB2024-04-28 15:16:22
coqprime-tools_8.19-1_armhf.deb131.2 KiB2024-04-28 15:21:43
coqprime-tools_8.19-1_i386.deb135.3 KiB2024-04-28 15:16:26
coqprime-tools_8.19-1_ppc64el.deb134.8 KiB2024-04-28 15:16:22
coqprime-tools_8.19-1_riscv64.deb134.8 KiB2024-04-28 16:08:18
coqprime-tools_8.19-1_s390x.deb132.1 KiB2024-04-28 15:26:48
coqprime_8.15-2.debian.tar.xz3.5 KiB2023-01-26 12:44:44
coqprime_8.15-2.dsc2.1 KiB2023-01-26 12:44:44
coqprime_8.15.orig.tar.gz964.0 KiB2022-07-15 08:46:49
coqprime_8.18-1.debian.tar.xz3.2 KiB2023-12-22 11:07:33
coqprime_8.18-1.dsc2.1 KiB2023-12-22 11:07:33
coqprime_8.18.orig.tar.gz973.2 KiB2023-12-22 11:07:33
coqprime_8.19-1.debian.tar.xz3.2 KiB2024-04-26 14:06:43
coqprime_8.19-1.dsc2.1 KiB2024-04-26 14:06:43
coqprime_8.19.orig.tar.gz973.2 KiB2024-04-26 14:06:43
libcoq-coqprime_8.15-2+b1_amd64.deb1.6 MiB2023-02-13 07:44:04
libcoq-coqprime_8.15-2+b1_arm64.deb1.6 MiB2023-02-13 07:44:05
libcoq-coqprime_8.15-2+b1_armhf.deb1.6 MiB2023-02-13 07:44:18
libcoq-coqprime_8.15-2+b1_i386.deb1.6 MiB2023-02-13 07:44:16
libcoq-coqprime_8.15-2+b1_ppc64el.deb1.6 MiB2023-02-14 11:27:30
libcoq-coqprime_8.15-2+b1_s390x.deb1.6 MiB2023-02-13 07:39:03
libcoq-coqprime_8.18-1+b1_amd64.deb1.7 MiB2024-03-19 19:21:53
libcoq-coqprime_8.18-1+b1_arm64.deb1.7 MiB2024-03-19 19:21:52
libcoq-coqprime_8.18-1+b1_armhf.deb1.7 MiB2024-03-26 16:03:27
libcoq-coqprime_8.18-1+b1_i386.deb1.7 MiB2024-03-19 19:16:51
libcoq-coqprime_8.18-1+b1_ppc64el.deb1.7 MiB2024-03-19 19:16:49
libcoq-coqprime_8.18-1+b1_riscv64.deb1.7 MiB2024-04-11 04:35:19
libcoq-coqprime_8.18-1+b1_s390x.deb1.7 MiB2024-03-20 05:06:42
libcoq-coqprime_8.18-1_amd64.deb1.7 MiB2023-12-23 11:58:04
libcoq-coqprime_8.18-1_arm64.deb1.7 MiB2023-12-23 11:58:02
libcoq-coqprime_8.18-1_armhf.deb1.7 MiB2023-12-23 11:52:52
libcoq-coqprime_8.18-1_i386.deb1.7 MiB2023-12-23 11:58:04
libcoq-coqprime_8.18-1_ppc64el.deb1.7 MiB2023-12-23 11:52:57
libcoq-coqprime_8.18-1_s390x.deb1.7 MiB2023-12-23 11:58:03
libcoq-coqprime_8.19-1_amd64.deb1.7 MiB2024-04-28 15:16:24
libcoq-coqprime_8.19-1_arm64.deb1.7 MiB2024-04-28 15:16:22
libcoq-coqprime_8.19-1_armhf.deb1.7 MiB2024-04-28 15:21:43
libcoq-coqprime_8.19-1_i386.deb1.7 MiB2024-04-28 15:16:26
libcoq-coqprime_8.19-1_ppc64el.deb1.7 MiB2024-04-28 15:16:22
libcoq-coqprime_8.19-1_riscv64.deb1.7 MiB2024-04-28 16:08:18
libcoq-coqprime_8.19-1_s390x.deb1.7 MiB2024-04-28 15:26:48