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 /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.3-3build5.debian.tar.xz2.9 KiB2024-09-17 16:56:32
coq-quickchick_2.0.3-3build5.dsc2.2 KiB2024-09-17 16:56:32
coq-quickchick_2.0.3.orig.tar.gz402.0 KiB2024-05-02 11:53:14
coq-quickchick_2.0.5-1build2.debian.tar.xz2.9 KiB2025-01-10 12:21:27
coq-quickchick_2.0.5-1build2.dsc2.2 KiB2025-01-10 12:21:27
coq-quickchick_2.0.5-1build4.debian.tar.xz3.0 KiB2025-01-31 08:45:40
coq-quickchick_2.0.5-1build4.dsc2.2 KiB2025-01-31 08:45:40
coq-quickchick_2.0.5.orig.tar.gz403.3 KiB2024-12-18 23:41:43
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.3-3build5_arm64.deb4.4 MiB2024-09-19 23:39:49
libcoq-quickchick_2.0.3-3build5_ppc64el.deb4.4 MiB2024-09-20 04:15:37
libcoq-quickchick_2.0.3-3build5_riscv64.deb4.6 MiB2024-09-20 10:37:15
libcoq-quickchick_2.0.3-3build5_s390x.deb4.3 MiB2024-09-19 23:39:50
libcoq-quickchick_2.0.5-1build2_arm64.deb4.4 MiB2025-01-10 15:56:50
libcoq-quickchick_2.0.5-1build2_ppc64el.deb4.3 MiB2025-01-10 15:56:51
libcoq-quickchick_2.0.5-1build2_riscv64.deb4.5 MiB2025-01-10 15:56:51
libcoq-quickchick_2.0.5-1build2_s390x.deb4.3 MiB2025-01-10 15:56:57
libcoq-quickchick_2.0.5-1build3_arm64.deb4.4 MiB2025-01-26 09:37:15
libcoq-quickchick_2.0.5-1build3_s390x.deb4.3 MiB2025-01-26 09:37:26
libcoq-quickchick_2.0.5-1build4_arm64.deb4.3 MiB2025-02-02 12:45:28
libcoq-quickchick_2.0.5-1build4_ppc64el.deb4.3 MiB2025-02-02 10:22:45
libcoq-quickchick_2.0.5-1build4_riscv64.deb4.5 MiB2025-02-03 02:32:43
libcoq-quickchick_2.0.5-1build4_s390x.deb4.3 MiB2025-02-02 12:45:52
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.3-3build5_arm64.deb590.3 KiB2024-09-19 23:39:49
quickchick_2.0.3-3build5_ppc64el.deb576.4 KiB2024-09-20 04:15:37
quickchick_2.0.3-3build5_riscv64.deb553.7 KiB2024-09-20 10:37:15
quickchick_2.0.3-3build5_s390x.deb546.9 KiB2024-09-19 23:39:50
quickchick_2.0.5-1build2_arm64.deb596.2 KiB2025-01-10 15:56:50
quickchick_2.0.5-1build2_ppc64el.deb577.0 KiB2025-01-10 15:56:51
quickchick_2.0.5-1build2_riscv64.deb554.0 KiB2025-01-10 15:56:51
quickchick_2.0.5-1build2_s390x.deb547.3 KiB2025-01-10 15:56:57
quickchick_2.0.5-1build3_arm64.deb596.3 KiB2025-01-26 09:37:15
quickchick_2.0.5-1build3_s390x.deb547.2 KiB2025-01-26 09:37:26
quickchick_2.0.5-1build4_arm64.deb601.5 KiB2025-02-02 12:45:27
quickchick_2.0.5-1build4_ppc64el.deb590.8 KiB2025-02-02 10:22:44
quickchick_2.0.5-1build4_riscv64.deb566.2 KiB2025-02-03 02:32:43
quickchick_2.0.5-1build4_s390x.deb559.1 KiB2025-02-02 12:45:51