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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-quickchick_2.1.1-2_amd64.deb4.0 MiBNovember 11, 2025
quickchick_2.1.1-2_amd64.deb478.2 KiBNovember 11, 2025
libcoq-quickchick_2.1.1-1_ppc64el.deb4.1 MiBOctober 30, 2025
quickchick_2.1.1-1_ppc64el.deb496.9 KiBOctober 30, 2025
quickchick_2.1.1-1_arm64.deb520.5 KiBOctober 30, 2025
libcoq-quickchick_2.1.1-1_arm64.deb4.1 MiBOctober 30, 2025
libcoq-quickchick_2.1.0-1.1+b2_riscv64.deb4.2 MiBOctober 29, 2025
quickchick_2.1.0-1.1+b2_riscv64.deb498.2 KiBOctober 29, 2025
quickchick_2.1.0-1.1+b2_ppc64el.deb497.7 KiBOctober 28, 2025
libcoq-quickchick_2.1.0-1.1+b2_ppc64el.deb4.1 MiBOctober 28, 2025
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb4.1 MiBOctober 28, 2025
quickchick_2.1.0-1.1+b2_amd64.deb478.8 KiBOctober 28, 2025
quickchick_2.1.0-1.1+b2_arm64.deb520.8 KiBOctober 28, 2025
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb4.1 MiBOctober 28, 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+b2_arm64.deb4.1 MiBJune 15, 2025
quickchick_2.1.0-1+b2_arm64.deb523.6 KiBJune 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
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_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_1.6.4-3+b1_i386.deb54.4 KiBFebruary 14, 2023
libcoq-quickchick_1.6.4-3+b1_i386.deb1.5 MiBFebruary 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
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