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/--
coq-quickchick_2.0.2-1build5.debian.tar.xz3.2 KiB2024-04-08 07:57:38
coq-quickchick_2.0.2-1build5.dsc2.3 KiB2024-04-08 07:57:38
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-01-20 23:35:34
coq-quickchick_2.0.5-1build6.debian.tar.xz3.0 KiB2025-02-19 07:52:06
coq-quickchick_2.0.5-1build6.dsc2.2 KiB2025-02-19 07:52:06
coq-quickchick_2.0.5.orig.tar.gz403.3 KiB2024-12-18 23:41:43
coq-quickchick_2.1.0-1.1build2.debian.tar.xz3.1 KiB2025-11-06 09:20:08
coq-quickchick_2.1.0-1.1build2.dsc2.2 KiB2025-11-06 09:20:08
coq-quickchick_2.1.0-1.1build3.debian.tar.xz3.1 KiB2026-01-04 23:06:47
coq-quickchick_2.1.0-1.1build3.dsc2.2 KiB2026-01-04 23:06:47
coq-quickchick_2.1.0-1build4.debian.tar.xz3.0 KiB2025-08-31 19:42:09
coq-quickchick_2.1.0-1build4.dsc2.2 KiB2025-08-31 19:42:09
coq-quickchick_2.1.0.orig.tar.gz404.8 KiB2025-05-01 16:23:25
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
libcoq-quickchick_2.0.2-1build5_ppc64el.deb1.9 MiB2024-04-08 14:36:35
libcoq-quickchick_2.0.2-1build5_riscv64.deb1.9 MiB2024-04-09 07:00:05
libcoq-quickchick_2.0.2-1build5_s390x.deb1.9 MiB2024-04-08 14:36:36
libcoq-quickchick_2.0.5-1build6_arm64.deb4.3 MiB2025-02-20 15:13:33
libcoq-quickchick_2.0.5-1build6_ppc64el.deb4.3 MiB2025-02-20 04:20:48
libcoq-quickchick_2.0.5-1build6_riscv64.deb4.5 MiB2025-02-20 20:17:03
libcoq-quickchick_2.0.5-1build6_s390x.deb4.3 MiB2025-02-20 04:21:33
libcoq-quickchick_2.1.0-1.1build2_arm64.deb4.3 MiB2025-11-06 20:02:07
libcoq-quickchick_2.1.0-1.1build2_ppc64el.deb4.3 MiB2025-11-06 20:02:32
libcoq-quickchick_2.1.0-1.1build2_riscv64.deb4.5 MiB2025-11-07 17:43:59
libcoq-quickchick_2.1.0-1.1build2_s390x.deb4.3 MiB2025-11-06 23:09:37
libcoq-quickchick_2.1.0-1.1build3_arm64.deb4.0 MiB2026-01-06 11:43:15
libcoq-quickchick_2.1.0-1.1build3_ppc64el.deb4.0 MiB2026-01-06 11:43:27
libcoq-quickchick_2.1.0-1.1build3_riscv64.deb4.2 MiB2026-01-07 09:28:38
libcoq-quickchick_2.1.0-1.1build3_s390x.deb4.0 MiB2026-01-06 08:32:19
libcoq-quickchick_2.1.0-1build4_arm64.deb4.3 MiB2025-09-01 19:52:30
libcoq-quickchick_2.1.0-1build4_ppc64el.deb4.3 MiB2025-09-01 19:52:33
libcoq-quickchick_2.1.0-1build4_riscv64.deb4.5 MiB2025-09-02 18:16:27
libcoq-quickchick_2.1.0-1build4_s390x.deb4.3 MiB2025-09-01 19:52:36
quickchick_2.0.2-1build5_arm64.deb65.0 KiB2024-04-08 14:36:32
quickchick_2.0.2-1build5_armhf.deb65.0 KiB2024-04-08 14:36:34
quickchick_2.0.2-1build5_ppc64el.deb65.0 KiB2024-04-08 14:36:35
quickchick_2.0.2-1build5_riscv64.deb65.0 KiB2024-04-09 07:00:04
quickchick_2.0.2-1build5_s390x.deb65.0 KiB2024-04-08 14:36:36
quickchick_2.0.5-1build6_arm64.deb601.6 KiB2025-02-20 15:13:33
quickchick_2.0.5-1build6_ppc64el.deb590.8 KiB2025-02-20 04:20:48
quickchick_2.0.5-1build6_riscv64.deb566.0 KiB2025-02-20 20:17:02
quickchick_2.0.5-1build6_s390x.deb559.1 KiB2025-02-20 04:21:33
quickchick_2.1.0-1.1build2_arm64.deb599.2 KiB2025-11-06 20:02:07
quickchick_2.1.0-1.1build2_ppc64el.deb587.4 KiB2025-11-06 20:02:32
quickchick_2.1.0-1.1build2_riscv64.deb564.5 KiB2025-11-07 17:43:59
quickchick_2.1.0-1.1build2_s390x.deb556.4 KiB2025-11-06 23:09:37
quickchick_2.1.0-1.1build3_arm64.deb606.0 KiB2026-01-06 11:43:15
quickchick_2.1.0-1.1build3_ppc64el.deb599.8 KiB2026-01-06 11:43:27
quickchick_2.1.0-1.1build3_riscv64.deb584.7 KiB2026-01-07 09:28:37
quickchick_2.1.0-1.1build3_s390x.deb575.6 KiB2026-01-06 08:32:18
quickchick_2.1.0-1build4_arm64.deb602.3 KiB2025-09-01 19:52:30
quickchick_2.1.0-1build4_ppc64el.deb589.6 KiB2025-09-01 19:52:33
quickchick_2.1.0-1build4_riscv64.deb566.9 KiB2025-09-02 18:16:27
quickchick_2.1.0-1build4_s390x.deb558.6 KiB2025-09-01 19:52:35