../ coq-quickchick_1.6.4-3.debian.tar.xz 20-Apr-2023 12:16 2724 coq-quickchick_1.6.4-3.dsc 20-Apr-2023 12:16 2261 coq-quickchick_1.6.4.orig.tar.gz 20-Apr-2023 12:16 388461 libcoq-quickchick_1.6.4-3+b1_amd64.deb 20-Apr-2023 12:16 1584008 libcoq-quickchick_1.6.4-3+b1_i386.deb 20-Apr-2023 12:16 1567080 quickchick_1.6.4-3+b1_amd64.deb 20-Apr-2023 12:16 55660 quickchick_1.6.4-3+b1_i386.deb 20-Apr-2023 12:16 55656