Index of /ubuntu/pool/universe/c/coq-quickchick/ Index of /ubuntu/pool/universe/c/coq-quickchick/
../ coq-quickchick_2.0.2-1build5.debian.tar.xz 08-Apr-2024 11:27 3300 coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 11:27 2353 coq-quickchick_2.0.2.orig.tar.gz 21-Jan-2024 03:05 406K coq-quickchick_2.0.5-1build6.debian.tar.xz 19-Feb-2025 11:22 3064 coq-quickchick_2.0.5-1build6.dsc 19-Feb-2025 11:22 2274 coq-quickchick_2.0.5.orig.tar.gz 19-Dec-2024 03:11 403K coq-quickchick_2.1.0-1.1build3.debian.tar.xz 05-Jan-2026 02:36 3160 coq-quickchick_2.1.0-1.1build3.dsc 05-Jan-2026 02:36 2282 coq-quickchick_2.1.0-1.1build4.debian.tar.xz 28-Jan-2026 04:29 3164 coq-quickchick_2.1.0-1.1build4.dsc 28-Jan-2026 04:29 2282 coq-quickchick_2.1.0-1build4.debian.tar.xz 31-Aug-2025 23:12 3048 coq-quickchick_2.1.0-1build4.dsc 31-Aug-2025 23:12 2274 coq-quickchick_2.1.0.orig.tar.gz 01-May-2025 19:53 405K libcoq-quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 18:06 2M libcoq-quickchick_2.0.5-1build6_amd64.deb 20-Feb-2025 07:50 4M libcoq-quickchick_2.1.0-1.1build3_amd64.deb 06-Jan-2026 12:02 4M libcoq-quickchick_2.1.0-1.1build3_amd64v3.deb 06-Jan-2026 12:02 4M libcoq-quickchick_2.1.0-1build4_amd64.deb 01-Sep-2025 23:22 4M quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 18:06 65K quickchick_2.0.5-1build6_amd64.deb 20-Feb-2025 07:50 554K quickchick_2.1.0-1.1build3_amd64.deb 06-Jan-2026 12:02 539K quickchick_2.1.0-1.1build3_amd64v3.deb 06-Jan-2026 12:02 539K quickchick_2.1.0-1build4_amd64.deb 01-Sep-2025 23:22 529K
Mirrors service provided by ParsVDS. Contact:
parsvds.s@gmail.com