/debian/pool/main/c/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-quickchick_1.6.4-3+b1_arm64.deb1.5 MiBFebruary 14, 2023
quickchick_1.6.4-3+b1_arm64.deb54.3 KiBFebruary 14, 2023
libcoq-quickchick_1.6.4-3+b1_amd64.deb1.5 MiBFebruary 14, 2023
quickchick_1.6.4-3+b1_amd64.deb54.4 KiBFebruary 14, 2023
quickchick_1.6.4-3+b1_i386.deb54.4 KiBFebruary 14, 2023
libcoq-quickchick_1.6.4-3+b1_i386.deb1.5 MiBFebruary 14, 2023
quickchick_1.6.4-3+b1_ppc64el.deb54.4 KiBFebruary 14, 2023
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb1.5 MiBFebruary 14, 2023
quickchick_2.1.0-1+b2_ppc64el.deb499.4 KiBJune 15, 2025
libcoq-quickchick_2.1.0-1+b2_ppc64el.deb4.1 MiBJune 15, 2025
quickchick_2.1.0-1+b2_amd64.deb480.7 KiBJune 15, 2025
libcoq-quickchick_2.1.0-1+b2_amd64.deb4.1 MiBJune 15, 2025
libcoq-quickchick_2.1.0-1+b2_arm64.deb4.1 MiBJune 15, 2025
quickchick_2.1.0-1+b2_arm64.deb523.6 KiBJune 15, 2025
quickchick_2.1.0-1+b1_riscv64.deb499.9 KiBJune 17, 2025
libcoq-quickchick_2.1.0-1+b1_riscv64.deb4.2 MiBJune 17, 2025
libcoq-quickchick_2.1.0-1.1+b4_ppc64el.deb3.4 MiBDecember 28, 2025
quickchick_2.1.0-1.1+b4_ppc64el.deb507.6 KiBDecember 28, 2025
quickchick_2.1.0-1.1+b4_riscv64.deb512.4 KiBDecember 29, 2025
libcoq-quickchick_2.1.0-1.1+b4_riscv64.deb3.6 MiBDecember 29, 2025
libcoq-quickchick_2.1.1-2_arm64.deb3.4 MiBFebruary 11, 2026
quickchick_2.1.1-2_arm64.deb526.3 KiBFebruary 11, 2026
libcoq-quickchick_2.1.0-1.1+b6_arm64.deb3.4 MiBFebruary 13, 2026
quickchick_2.1.0-1.1+b6_arm64.deb526.5 KiBFebruary 13, 2026
quickchick_2.1.0-1.1+b6_amd64.deb489.1 KiBFebruary 13, 2026
libcoq-quickchick_2.1.0-1.1+b6_amd64.deb3.4 MiBFebruary 13, 2026
libcoq-quickchick_2.1.1-2_ppc64el.deb3.4 MiBFebruary 15, 2026
quickchick_2.1.1-2_ppc64el.deb507.0 KiBFebruary 15, 2026
quickchick_2.1.1-2+b1_amd64.deb489.3 KiBFebruary 15, 2026
libcoq-quickchick_2.1.1-2+b1_amd64.deb3.4 MiBFebruary 15, 2026