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/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_1.6.4-3.dsc2.2 KiB2023-01-27 06:18:56
coq-quickchick_2.0.3-2.dsc2.2 KiB2024-04-30 21:09:16
coq-quickchick_2.0.2-1.dsc2.2 KiB2024-01-20 19:21:53
coq-quickchick_1.6.4-3.debian.tar.xz2.7 KiB2023-01-27 06:18:56
coq-quickchick_2.0.3-2.debian.tar.xz2.7 KiB2024-04-30 21:09:16
coq-quickchick_2.0.2-1.debian.tar.xz3.0 KiB2024-01-20 19:21:53
quickchick_1.6.4-3+b1_arm64.deb54.3 KiB2023-02-14 06:11:14
quickchick_1.6.4-3+b1_i386.deb54.4 KiB2023-02-14 06:16:25
quickchick_1.6.4-3+b1_armhf.deb54.4 KiB2023-02-14 06:11:17
quickchick_1.6.4-3+b1_amd64.deb54.4 KiB2023-02-14 06:11:16
quickchick_1.6.4-3+b1_s390x.deb54.4 KiB2023-02-14 06:26:49
quickchick_1.6.4-3+b1_ppc64el.deb54.4 KiB2023-02-14 13:13:44
quickchick_2.0.2-1+b2_s390x.deb57.3 KiB2024-03-20 13:02:57
quickchick_2.0.2-1+b3_arm64.deb57.3 KiB2024-04-29 16:20:49
quickchick_2.0.2-1+b3_amd64.deb57.4 KiB2024-04-29 16:20:48
quickchick_2.0.2-1+b3_ppc64el.deb57.4 KiB2024-04-29 16:36:13
quickchick_2.0.2-1+b1_ppc64el.deb57.4 KiB2024-02-16 15:20:04
quickchick_2.0.2-1+b1_arm64.deb57.4 KiB2024-02-16 17:36:50
quickchick_2.0.2-1+b3_i386.deb57.4 KiB2024-04-29 16:20:49
quickchick_2.0.2-1+b2_armhf.deb57.4 KiB2024-03-31 23:29:54
quickchick_2.0.2-1+b1_s390x.deb57.4 KiB2024-02-16 14:59:43
quickchick_2.0.2-1+b2_riscv64.deb57.4 KiB2024-04-12 05:30:47
quickchick_2.0.2-1+b1_i386.deb57.4 KiB2024-02-16 15:04:54
quickchick_2.0.2-1+b1_amd64.deb57.4 KiB2024-02-16 15:04:48
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-08-15 06:38:36
quickchick_2.0.3-2_i386.deb393.5 KiB2024-04-30 21:39:46
quickchick_2.0.3-2_amd64.deb401.5 KiB2024-04-30 21:39:45
coq-quickchick_2.0.3.orig.tar.gz402.0 KiB2024-04-30 21:09:16
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-01-20 19:21:53
quickchick_2.0.3-2_riscv64.deb410.2 KiB2024-04-30 21:47:06
quickchick_2.0.3-2_ppc64el.deb422.1 KiB2024-04-30 21:39:42
quickchick_2.0.3-2_arm64.deb445.5 KiB2024-04-30 21:39:44
libcoq-quickchick_1.6.4-3+b1_i386.deb1.5 MiB2023-02-14 06:16:25
libcoq-quickchick_1.6.4-3+b1_armhf.deb1.5 MiB2023-02-14 06:11:17
libcoq-quickchick_1.6.4-3+b1_amd64.deb1.5 MiB2023-02-14 06:11:16
libcoq-quickchick_1.6.4-3+b1_s390x.deb1.5 MiB2023-02-14 06:26:49
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb1.5 MiB2023-02-14 13:13:44
libcoq-quickchick_1.6.4-3+b1_arm64.deb1.5 MiB2023-02-14 06:11:14
libcoq-quickchick_2.0.2-1+b1_i386.deb1.6 MiB2024-02-16 15:04:54
libcoq-quickchick_2.0.2-1+b2_armhf.deb1.6 MiB2024-03-31 23:29:54
libcoq-quickchick_2.0.2-1+b1_amd64.deb1.6 MiB2024-02-16 15:04:48
libcoq-quickchick_2.0.2-1+b2_riscv64.deb1.6 MiB2024-04-12 05:30:47
libcoq-quickchick_2.0.2-1+b1_s390x.deb1.6 MiB2024-02-16 14:59:43
libcoq-quickchick_2.0.2-1+b2_s390x.deb1.6 MiB2024-03-20 13:02:57
libcoq-quickchick_2.0.2-1+b1_ppc64el.deb1.6 MiB2024-02-16 15:20:04
libcoq-quickchick_2.0.2-1+b3_i386.deb1.6 MiB2024-04-29 16:20:49
libcoq-quickchick_2.0.2-1+b1_arm64.deb1.7 MiB2024-02-16 17:36:50
libcoq-quickchick_2.0.2-1+b3_amd64.deb1.7 MiB2024-04-29 16:20:48
libcoq-quickchick_2.0.2-1+b3_ppc64el.deb1.7 MiB2024-04-29 16:36:13
libcoq-quickchick_2.0.2-1+b3_arm64.deb1.7 MiB2024-04-29 16:20:49
libcoq-quickchick_2.0.3-2_i386.deb3.1 MiB2024-04-30 21:39:46
libcoq-quickchick_2.0.3-2_amd64.deb3.1 MiB2024-04-30 21:39:45
libcoq-quickchick_2.0.3-2_arm64.deb3.1 MiB2024-04-30 21:39:44
libcoq-quickchick_2.0.3-2_ppc64el.deb3.1 MiB2024-04-30 21:39:42
libcoq-quickchick_2.0.3-2_riscv64.deb3.3 MiB2024-04-30 21:47:06