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

name size date
libcoq-quickchick_2.0.3-3build5_amd64.deb 4.34M 2025-09-13 01:37:00
quickchick_2.0.3-3build5_amd64.deb 0.51M 2025-09-13 01:37:00
quickchick_1.6.4-3build3_amd64.deb 61.9K 2024-11-26 13:19:28
libcoq-quickchick_1.6.4-3build3_amd64.deb 1.74M 2024-11-26 13:19:27
libcoq-quickchick_2.0-2build1_amd64.deb 2.00M 2024-11-15 03:05:08
quickchick_2.0-2build1_amd64.deb 62.3K 2024-11-15 03:05:08
quickchick_1.6.4-1_amd64.deb 61.7K 2023-08-11 04:18:27
libcoq-quickchick_1.6.4-1_amd64.deb 1.74M 2023-08-11 04:18:26