Index of /ubuntu-ports/pool/universe/c/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
quickchick_2.0.2-1build5_s390x.deb65.0 KiB2024-Apr-08 23:36
quickchick_2.0.2-1build5_riscv64.deb65.0 KiB2024-Apr-09 16:00
quickchick_2.0.2-1build5_ppc64el.deb65.0 KiB2024-Apr-08 23:36
quickchick_2.0.2-1build5_armhf.deb65.0 KiB2024-Apr-08 23:36
quickchick_2.0.2-1build5_arm64.deb65.0 KiB2024-Apr-08 23:36
quickchick_2.0-2build1_s390x.deb62.3 KiB2023-Jul-26 18:58
quickchick_2.0-2build1_riscv64.deb62.3 KiB2023-Jul-26 19:30
quickchick_2.0-2build1_ppc64el.deb62.3 KiB2023-Jul-26 18:58
quickchick_2.0-2build1_armhf.deb62.3 KiB2023-Jul-26 18:58
quickchick_2.0-2build1_arm64.deb62.3 KiB2023-Jul-26 18:58
quickchick_1.6.4-3build3_s390x.deb61.9 KiB2023-Feb-17 16:29
quickchick_1.6.4-3build3_riscv64.deb61.9 KiB2023-Feb-17 17:33
quickchick_1.6.4-3build3_ppc64el.deb61.9 KiB2023-Feb-17 16:29
quickchick_1.6.4-3build3_armhf.deb61.9 KiB2023-Feb-17 16:29
quickchick_1.6.4-3build3_arm64.deb61.9 KiB2023-Feb-17 16:29
libcoq-quickchick_2.0.2-1build5_s390x.deb1.9 MiB2024-Apr-08 23:36
libcoq-quickchick_2.0.2-1build5_riscv64.deb1.9 MiB2024-Apr-09 16:00
libcoq-quickchick_2.0.2-1build5_ppc64el.deb1.9 MiB2024-Apr-08 23:36
libcoq-quickchick_2.0.2-1build5_armhf.deb1.9 MiB2024-Apr-08 23:36
libcoq-quickchick_2.0.2-1build5_arm64.deb1.9 MiB2024-Apr-08 23:36
libcoq-quickchick_2.0-2build1_s390x.deb2.0 MiB2023-Jul-26 18:58
libcoq-quickchick_2.0-2build1_riscv64.deb2.0 MiB2023-Jul-26 19:30
libcoq-quickchick_2.0-2build1_ppc64el.deb2.0 MiB2023-Jul-26 18:58
libcoq-quickchick_2.0-2build1_armhf.deb2.0 MiB2023-Jul-26 18:58
libcoq-quickchick_2.0-2build1_arm64.deb2.1 MiB2023-Jul-26 18:58
libcoq-quickchick_1.6.4-3build3_s390x.deb1.8 MiB2023-Feb-17 16:29
libcoq-quickchick_1.6.4-3build3_riscv64.deb1.7 MiB2023-Feb-17 17:33
libcoq-quickchick_1.6.4-3build3_ppc64el.deb1.7 MiB2023-Feb-17 16:29
libcoq-quickchick_1.6.4-3build3_armhf.deb1.7 MiB2023-Feb-17 16:29
libcoq-quickchick_1.6.4-3build3_arm64.deb1.8 MiB2023-Feb-17 16:29
coq-quickchick_2.0.orig.tar.gz400.2 KiB2023-Jun-15 08:24
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-Jan-21 08:35
coq-quickchick_2.0.2-1build5.dsc2.3 KiB2024-Apr-08 16:57
coq-quickchick_2.0.2-1build5.debian.tar.xz3.2 KiB2024-Apr-08 16:57
coq-quickchick_2.0-2build1.dsc2.2 KiB2023-Jul-25 02:37
coq-quickchick_2.0-2build1.debian.tar.xz2.9 KiB2023-Jul-25 02:37
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-Aug-15 20:39
coq-quickchick_1.6.4-3build3.dsc2.2 KiB2023-Feb-17 16:29
coq-quickchick_1.6.4-3build3.debian.tar.xz2.7 KiB2023-Feb-17 16:29