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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
quickchick_2.0.3-2build6_s390x.deb464.2 KiB2024-06-15 21:48:37
quickchick_2.0.3-2build6_riscv64.deb461.0 KiB2024-06-16 06:44:14
quickchick_2.0.3-2build6_ppc64el.deb500.0 KiB2024-06-15 22:32:40
quickchick_2.0.3-2build6_armhf.deb424.3 KiB2024-06-15 23:58:45
quickchick_2.0.3-2build6_arm64.deb515.1 KiB2024-06-16 02:13:00
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
quickchick_2.0.2-1build5_ppc64el.deb65.0 KiB2024-04-08 14:36:35
quickchick_2.0.2-1build5_armhf.deb65.0 KiB2024-04-08 14:36:34
quickchick_2.0.2-1build5_arm64.deb65.0 KiB2024-04-08 14:36:32
quickchick_2.0-2build1_s390x.deb62.3 KiB2023-07-26 09:58:52
quickchick_2.0-2build1_riscv64.deb62.3 KiB2023-07-26 10:30:50
quickchick_2.0-2build1_ppc64el.deb62.3 KiB2023-07-26 09:58:50
quickchick_2.0-2build1_armhf.deb62.3 KiB2023-07-26 09:58:45
quickchick_2.0-2build1_arm64.deb62.3 KiB2023-07-26 09:58:45
quickchick_1.6.4-3build3_s390x.deb61.9 KiB2023-02-17 07:29:27
quickchick_1.6.4-3build3_riscv64.deb61.9 KiB2023-02-17 08:33:57
quickchick_1.6.4-3build3_ppc64el.deb61.9 KiB2023-02-17 07:29:26
quickchick_1.6.4-3build3_armhf.deb61.9 KiB2023-02-17 07:29:25
quickchick_1.6.4-3build3_arm64.deb61.9 KiB2023-02-17 07:29:23
libcoq-quickchick_2.0.3-2build6_s390x.deb3.6 MiB2024-06-15 21:48:37
libcoq-quickchick_2.0.3-2build6_riscv64.deb3.8 MiB2024-06-16 06:44:14
libcoq-quickchick_2.0.3-2build6_ppc64el.deb3.6 MiB2024-06-15 22:32:40
libcoq-quickchick_2.0.3-2build6_armhf.deb3.6 MiB2024-06-15 23:58:45
libcoq-quickchick_2.0.3-2build6_arm64.deb3.6 MiB2024-06-16 02:13:00
libcoq-quickchick_2.0.2-1build5_s390x.deb1.9 MiB2024-04-08 14:36:36
libcoq-quickchick_2.0.2-1build5_riscv64.deb1.9 MiB2024-04-09 07:00:05
libcoq-quickchick_2.0.2-1build5_ppc64el.deb1.9 MiB2024-04-08 14:36:35
libcoq-quickchick_2.0.2-1build5_armhf.deb1.9 MiB2024-04-08 14:36:34
libcoq-quickchick_2.0.2-1build5_arm64.deb1.9 MiB2024-04-08 14:36:32
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
libcoq-quickchick_2.0-2build1_ppc64el.deb2.0 MiB2023-07-26 09:58:50
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
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
libcoq-quickchick_1.6.4-3build3_ppc64el.deb1.7 MiB2023-02-17 07:29:26
libcoq-quickchick_1.6.4-3build3_armhf.deb1.7 MiB2023-02-17 07:29:25
libcoq-quickchick_1.6.4-3build3_arm64.deb1.8 MiB2023-02-17 07:29:23
coq-quickchick_2.0.orig.tar.gz400.2 KiB2023-06-14 23:24:10
coq-quickchick_2.0.3.orig.tar.gz402.0 KiB2024-05-02 11:53:14
coq-quickchick_2.0.3-2build6.dsc2.2 KiB2024-06-15 14:43:45
coq-quickchick_2.0.3-2build6.debian.tar.xz2.9 KiB2024-06-15 14:43:45
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
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
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-08-15 11:39:23
coq-quickchick_1.6.4-3build3.dsc2.2 KiB2023-02-17 07:29:10
coq-quickchick_1.6.4-3build3.debian.tar.xz2.7 KiB2023-02-17 07:29:10