../ coq-quickchick_1.6.4-3.debian.tar.xz 14-Jun-2023 13:55 2724 coq-quickchick_1.6.4-3.dsc 14-Jun-2023 13:55 2261 coq-quickchick_1.6.4.orig.tar.gz 14-Jun-2023 13:55 379K libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Jun-2023 20:17 2M libcoq-quickchick_1.6.4-3+b1_arm64.deb 14-Jun-2023 20:17 2M quickchick_1.6.4-3+b1_amd64.deb 14-Jun-2023 20:17 54K quickchick_1.6.4-3+b1_arm64.deb 14-Jun-2023 20:17 54K