Index of /debian/pool/main/c/coq-quickchick/
../
libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 1584008
libcoq-quickchick_2.0-2+b2_amd64.deb 22-Sep-2023 13:54 1821300
libcoq-quickchick_2.0.2-1+b1_amd64.deb 16-Feb-2024 15:04 1708436
libcoq-quickchick_2.0.2-1_amd64.deb 20-Jan-2024 20:28 1708684
quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 55660
quickchick_2.0-2+b2_amd64.deb 22-Sep-2023 13:54 58648
quickchick_2.0.2-1+b1_amd64.deb 16-Feb-2024 15:04 58776
quickchick_2.0.2-1_amd64.deb 20-Jan-2024 20:28 58396