../ 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.3-3build5.debian.tar.xz 17-Sep-2024 20:26 3008 coq-quickchick_2.0.3-3build5.dsc 17-Sep-2024 20:26 2274 coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 15:23 402K coq-quickchick_2.0.5-1build1.debian.tar.xz 20-Dec-2024 17:46 2960 coq-quickchick_2.0.5-1build1.dsc 20-Dec-2024 17:46 2274 coq-quickchick_2.0.5.orig.tar.gz 19-Dec-2024 03:11 403K libcoq-quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 18:06 2M libcoq-quickchick_2.0.3-3build5_amd64.deb 20-Sep-2024 03:09 4M libcoq-quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 17:46 4M quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 18:06 65K quickchick_2.0.3-3build5_amd64.deb 20-Sep-2024 03:09 517K quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 17:46 517K