../ coq-quickchick_1.6.4-3.debian.tar.xz 06-Nov-2024 19:08 2724 coq-quickchick_1.6.4-3.dsc 06-Nov-2024 19:08 2261 coq-quickchick_1.6.4.orig.tar.gz 06-Nov-2024 19:08 379K libcoq-quickchick_1.6.4-3+b1_amd64.deb 06-Nov-2024 19:08 2M libcoq-quickchick_1.6.4-3+b1_i386.deb 06-Nov-2024 19:08 1M quickchick_1.6.4-3+b1_amd64.deb 06-Nov-2024 19:08 54K quickchick_1.6.4-3+b1_i386.deb 06-Nov-2024 19:08 54K