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

../
coq-quickchick_1.6.4-3.debian.tar.xz               27-Sep-2025 09:45    2724
coq-quickchick_1.6.4-3.dsc                         27-Sep-2025 09:45    2261
coq-quickchick_1.6.4.orig.tar.gz                   27-Sep-2025 09:45    379K
coq-quickchick_2.1.0-1.debian.tar.xz               26-Sep-2025 20:19    2908
coq-quickchick_2.1.0-1.dsc                         26-Sep-2025 20:19    2288
coq-quickchick_2.1.0.orig.tar.gz                   26-Sep-2025 20:19    405K
libcoq-quickchick_1.6.4-3+b1_amd64.deb             27-Sep-2025 11:36      2M
libcoq-quickchick_1.6.4-3+b1_i386.deb              27-Sep-2025 11:36      1M
libcoq-quickchick_2.1.0-1+b2_amd64.deb             26-Sep-2025 23:42      4M
quickchick_1.6.4-3+b1_amd64.deb                    27-Sep-2025 14:36     54K
quickchick_1.6.4-3+b1_i386.deb                     27-Sep-2025 14:36     54K
quickchick_2.1.0-1+b2_amd64.deb                    27-Sep-2025 05:31    481K