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.debian.tar.xz2.7 KiB2023-01-27 06:18:56
coq-quickchick_1.6.4-3.dsc2.2 KiB2023-01-27 06:18:56
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-08-15 06:38:36
coq-quickchick_2.0.2-1.debian.tar.xz3.0 KiB2024-01-20 19:21:53
coq-quickchick_2.0.2-1.dsc2.2 KiB2024-01-20 19:21:53
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-01-20 19:21:53
libcoq-quickchick_1.6.4-3+b1_amd64.deb1.5 MiB2023-02-14 06:11:16
libcoq-quickchick_1.6.4-3+b1_arm64.deb1.5 MiB2023-02-14 06:11:14
libcoq-quickchick_1.6.4-3+b1_armhf.deb1.5 MiB2023-02-14 06:11:17
libcoq-quickchick_1.6.4-3+b1_i386.deb1.5 MiB2023-02-14 06:16:25
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb1.5 MiB2023-02-14 13:13:44
libcoq-quickchick_1.6.4-3+b1_s390x.deb1.5 MiB2023-02-14 06:26:49
libcoq-quickchick_2.0.2-1+b1_amd64.deb1.6 MiB2024-02-16 15:04:48
libcoq-quickchick_2.0.2-1+b1_arm64.deb1.7 MiB2024-02-16 17:36:50
libcoq-quickchick_2.0.2-1+b1_armhf.deb1.6 MiB2024-02-16 14:09:09
libcoq-quickchick_2.0.2-1+b1_i386.deb1.6 MiB2024-02-16 15:04:54
libcoq-quickchick_2.0.2-1+b1_ppc64el.deb1.6 MiB2024-02-16 15:20:04
libcoq-quickchick_2.0.2-1+b1_s390x.deb1.6 MiB2024-02-16 14:59:43
libcoq-quickchick_2.0.2-1+b2_amd64.deb1.6 MiB2024-03-20 04:55:01
libcoq-quickchick_2.0.2-1+b2_arm64.deb1.7 MiB2024-03-20 05:32:20
libcoq-quickchick_2.0.2-1+b2_armhf.deb1.6 MiB2024-03-31 23:29:54
libcoq-quickchick_2.0.2-1+b2_i386.deb1.6 MiB2024-03-20 03:26:33
libcoq-quickchick_2.0.2-1+b2_ppc64el.deb1.6 MiB2024-03-20 04:55:03
libcoq-quickchick_2.0.2-1+b2_riscv64.deb1.6 MiB2024-04-12 05:30:47
libcoq-quickchick_2.0.2-1+b2_s390x.deb1.6 MiB2024-03-20 13:02:57
libcoq-quickchick_2.0.2-1+b3_amd64.deb1.7 MiB2024-04-29 16:20:48
libcoq-quickchick_2.0.2-1+b3_arm64.deb1.7 MiB2024-04-29 16:20:49
libcoq-quickchick_2.0.2-1+b3_i386.deb1.6 MiB2024-04-29 16:20:49
libcoq-quickchick_2.0.2-1+b3_ppc64el.deb1.7 MiB2024-04-29 16:36:13
quickchick_1.6.4-3+b1_amd64.deb54.4 KiB2023-02-14 06:11:16
quickchick_1.6.4-3+b1_arm64.deb54.3 KiB2023-02-14 06:11:14
quickchick_1.6.4-3+b1_armhf.deb54.4 KiB2023-02-14 06:11:17
quickchick_1.6.4-3+b1_i386.deb54.4 KiB2023-02-14 06:16:25
quickchick_1.6.4-3+b1_ppc64el.deb54.4 KiB2023-02-14 13:13:44
quickchick_1.6.4-3+b1_s390x.deb54.4 KiB2023-02-14 06:26:49
quickchick_2.0.2-1+b1_amd64.deb57.4 KiB2024-02-16 15:04:48
quickchick_2.0.2-1+b1_arm64.deb57.4 KiB2024-02-16 17:36:50
quickchick_2.0.2-1+b1_armhf.deb57.3 KiB2024-02-16 14:09:09
quickchick_2.0.2-1+b1_i386.deb57.4 KiB2024-02-16 15:04:54
quickchick_2.0.2-1+b1_ppc64el.deb57.4 KiB2024-02-16 15:20:04
quickchick_2.0.2-1+b1_s390x.deb57.4 KiB2024-02-16 14:59:43
quickchick_2.0.2-1+b2_amd64.deb57.4 KiB2024-03-20 04:55:01
quickchick_2.0.2-1+b2_arm64.deb57.3 KiB2024-03-20 05:32:20
quickchick_2.0.2-1+b2_armhf.deb57.4 KiB2024-03-31 23:29:54
quickchick_2.0.2-1+b2_i386.deb57.3 KiB2024-03-20 03:26:33
quickchick_2.0.2-1+b2_ppc64el.deb57.4 KiB2024-03-20 04:55:03
quickchick_2.0.2-1+b2_riscv64.deb57.4 KiB2024-04-12 05:30:47
quickchick_2.0.2-1+b2_s390x.deb57.3 KiB2024-03-20 13:02:57
quickchick_2.0.2-1+b3_amd64.deb57.4 KiB2024-04-29 16:20:48
quickchick_2.0.2-1+b3_arm64.deb57.3 KiB2024-04-29 16:20:49
quickchick_2.0.2-1+b3_i386.deb57.4 KiB2024-04-29 16:20:49
quickchick_2.0.2-1+b3_ppc64el.deb57.4 KiB2024-04-29 16:36:13