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 /mirrors/ubuntu-ports/pool/universe/c/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-08-15 11:39:23
coq-quickchick_1.6.4-3build3.debian.tar.xz2.7 KiB2023-02-17 07:29:10
coq-quickchick_1.6.4-3build3.dsc2.2 KiB2023-02-17 07:29:10
libcoq-quickchick_1.6.4-3build3_arm64.deb1.8 MiB2023-02-17 07:29:23
quickchick_1.6.4-3build3_arm64.deb61.9 KiB2023-02-17 07:29:23
quickchick_1.6.4-3build3_armhf.deb61.9 KiB2023-02-17 07:29:25
libcoq-quickchick_1.6.4-3build3_armhf.deb1.7 MiB2023-02-17 07:29:25
libcoq-quickchick_1.6.4-3build3_ppc64el.deb1.7 MiB2023-02-17 07:29:26
quickchick_1.6.4-3build3_ppc64el.deb61.9 KiB2023-02-17 07:29:26
quickchick_1.6.4-3build3_s390x.deb61.9 KiB2023-02-17 07:29:27
libcoq-quickchick_1.6.4-3build3_s390x.deb1.8 MiB2023-02-17 07:29:27
libcoq-quickchick_1.6.4-3build3_riscv64.deb1.7 MiB2023-02-17 08:33:57
quickchick_1.6.4-3build3_riscv64.deb61.9 KiB2023-02-17 08:33:57
coq-quickchick_2.0.orig.tar.gz400.2 KiB2023-06-14 23:24:10
coq-quickchick_2.0-2build1.dsc2.2 KiB2023-07-24 17:37:44
coq-quickchick_2.0-2build1.debian.tar.xz2.9 KiB2023-07-24 17:37:44
quickchick_2.0-2build1_arm64.deb62.3 KiB2023-07-26 09:58:45
libcoq-quickchick_2.0-2build1_armhf.deb2.0 MiB2023-07-26 09:58:45
libcoq-quickchick_2.0-2build1_arm64.deb2.1 MiB2023-07-26 09:58:45
quickchick_2.0-2build1_armhf.deb62.3 KiB2023-07-26 09:58:45
libcoq-quickchick_2.0-2build1_ppc64el.deb2.0 MiB2023-07-26 09:58:50
quickchick_2.0-2build1_ppc64el.deb62.3 KiB2023-07-26 09:58:50
quickchick_2.0-2build1_s390x.deb62.3 KiB2023-07-26 09:58:52
libcoq-quickchick_2.0-2build1_s390x.deb2.0 MiB2023-07-26 09:58:52
libcoq-quickchick_2.0-2build1_riscv64.deb2.0 MiB2023-07-26 10:30:50
quickchick_2.0-2build1_riscv64.deb62.3 KiB2023-07-26 10:30:50
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-01-20 23:35:34
coq-quickchick_2.0.2-1build5.dsc2.3 KiB2024-04-08 07:57:38
coq-quickchick_2.0.2-1build5.debian.tar.xz3.2 KiB2024-04-08 07:57:38
quickchick_2.0.2-1build5_arm64.deb65.0 KiB2024-04-08 14:36:32
libcoq-quickchick_2.0.2-1build5_arm64.deb1.9 MiB2024-04-08 14:36:32
libcoq-quickchick_2.0.2-1build5_armhf.deb1.9 MiB2024-04-08 14:36:34
quickchick_2.0.2-1build5_armhf.deb65.0 KiB2024-04-08 14:36:34
libcoq-quickchick_2.0.2-1build5_ppc64el.deb1.9 MiB2024-04-08 14:36:35
quickchick_2.0.2-1build5_ppc64el.deb65.0 KiB2024-04-08 14:36:35
libcoq-quickchick_2.0.2-1build5_s390x.deb1.9 MiB2024-04-08 14:36:36
quickchick_2.0.2-1build5_s390x.deb65.0 KiB2024-04-08 14:36:36
quickchick_2.0.2-1build5_riscv64.deb65.0 KiB2024-04-09 07:00:04
libcoq-quickchick_2.0.2-1build5_riscv64.deb1.9 MiB2024-04-09 07:00:05
coq-quickchick_2.0.3.orig.tar.gz402.0 KiB2024-05-02 11:53:14
coq-quickchick_2.0.3-3build5.dsc2.2 KiB2024-09-17 16:56:32
coq-quickchick_2.0.3-3build5.debian.tar.xz2.9 KiB2024-09-17 16:56:32
quickchick_2.0.3-3build5_arm64.deb590.3 KiB2024-09-19 23:39:49
libcoq-quickchick_2.0.3-3build5_arm64.deb4.4 MiB2024-09-19 23:39:49
libcoq-quickchick_2.0.3-3build5_s390x.deb4.3 MiB2024-09-19 23:39:50
quickchick_2.0.3-3build5_s390x.deb546.9 KiB2024-09-19 23:39:50
libcoq-quickchick_2.0.3-3build5_ppc64el.deb4.4 MiB2024-09-20 04:15:37
quickchick_2.0.3-3build5_ppc64el.deb576.4 KiB2024-09-20 04:15:37
libcoq-quickchick_2.0.3-3build5_riscv64.deb4.6 MiB2024-09-20 10:37:15
quickchick_2.0.3-3build5_riscv64.deb553.7 KiB2024-09-20 10:37:15