Index of /repos/pool/main/c/coq-quickchick/

../
coq-quickchick_1.6.4-3.debian.tar.xz               31-Mar-2026 09:28    2724
coq-quickchick_1.6.4-3.dsc                         31-Mar-2026 09:28    2261
coq-quickchick_1.6.4.orig.tar.gz                   31-Mar-2026 09:28    379K
coq-quickchick_2.1.0-1.debian.tar.xz               24-Mar-2026 08:15    2908
coq-quickchick_2.1.0-1.dsc                         24-Mar-2026 08:15    2288
coq-quickchick_2.1.0.orig.tar.gz                   24-Mar-2026 08:15    405K
libcoq-quickchick_1.6.4-3+b1_amd64.deb             31-Mar-2026 18:47      2M
libcoq-quickchick_1.6.4-3+b1_i386.deb              31-Mar-2026 18:47      1M
libcoq-quickchick_2.1.0-1+b2_amd64.deb             25-Mar-2026 18:34      4M
quickchick_1.6.4-3+b1_amd64.deb                    01-Apr-2026 11:41     54K
quickchick_1.6.4-3+b1_i386.deb                     01-Apr-2026 11:41     54K
quickchick_2.1.0-1+b2_amd64.deb                    30-Mar-2026 00:55    481K