Index of /ubuntu/pool/universe/c/coq-quickchick/

../
coq-quickchick_2.0.2-1build5.debian.tar.xz         11-Apr-2024 04:30                3300
coq-quickchick_2.0.2-1build5.dsc                   11-Apr-2024 04:30                2353
coq-quickchick_2.0.2.orig.tar.gz                   08-Mar-2024 09:51              415619
coq-quickchick_2.1.0-1.1build5.debian.tar.xz       10-Apr-2026 04:59                3216
coq-quickchick_2.1.0-1.1build5.dsc                 10-Apr-2026 04:59                2282
coq-quickchick_2.1.0.orig.tar.gz                   10-Apr-2026 04:59              414544
libcoq-quickchick_2.0.2-1build5_amd64.deb          11-Apr-2024 04:30             1950450
libcoq-quickchick_2.1.0-1.1build5_amd64.deb        10-Apr-2026 04:59             4149164
quickchick_2.0.2-1build5_amd64.deb                 11-Apr-2024 04:30               66526
quickchick_2.1.0-1.1build5_amd64.deb               10-Apr-2026 04:59              551030