../ coq-quickchick_2.2.0-3.debian.tar.xz 12-Aug-2026 07:26 3892 coq-quickchick_2.2.0-3.dsc 12-Aug-2026 07:26 2306 coq-quickchick_2.2.0.orig.tar.gz 20-Jul-2026 20:12 416735 libcoq-quickchick_2.2.0-3+b3_amd64.deb 02-Nov-2026 07:01 3500260 libcoq-quickchick_2.2.0-3+b3_arm64.deb 02-Nov-2026 07:01 3535656 quickchick_2.2.0-3+b3_amd64.deb 02-Nov-2026 07:01 501560 quickchick_2.2.0-3+b3_arm64.deb 02-Nov-2026 07:01 538028