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

../
coq-quickchick_2.0.3-3build5.debian.tar.xz         17-Sep-2024 16:56    3008
coq-quickchick_2.0.3-3build5.dsc                   17-Sep-2024 16:56    2274
coq-quickchick_2.0.3.orig.tar.gz                   02-May-2024 11:53    402K
coq-quickchick_2.1.0-1build3.debian.tar.xz         19-Jun-2025 17:20    3044
coq-quickchick_2.1.0-1build3.dsc                   19-Jun-2025 17:20    2274
libcoq-quickchick_2.0.3-3build5_amd64.deb          19-Sep-2024 23:39      4M
libcoq-quickchick_2.1.0-1build3_amd64.deb          20-Jun-2025 23:24      4M
quickchick_2.0.3-3build5_amd64.deb                 19-Sep-2024 23:39    517K
quickchick_2.1.0-1build3_amd64.deb                 20-Jun-2025 23:24    529K