Index of /mirror-backup20260214/pool/universe/c/coq-quickchick/

../
coq-quickchick_2.1.0-1.1build2.debian.tar.xz       06-Nov-2025 09:20    3132
coq-quickchick_2.1.0-1.1build2.dsc                 06-Nov-2025 09:20    2282
libcoq-quickchick_2.1.0-1.1build2_amd64.deb        06-Nov-2025 20:01      4M
libcoq-quickchick_2.1.0-1.1build2_amd64v3.deb      06-Nov-2025 20:01      4M
quickchick_2.1.0-1.1build2_amd64.deb               06-Nov-2025 20:01    526K
quickchick_2.1.0-1.1build2_amd64v3.deb             06-Nov-2025 20:01    526K