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

../
coq-quickchick_1.6.4-3.debian.tar.xz               10-Feb-2023 16:47    2724
coq-quickchick_1.6.4-3.dsc                         10-Feb-2023 16:47    2261
coq-quickchick_1.6.4.orig.tar.gz                   28-Nov-2022 16:04    379K
coq-quickchick_2.1.0-1.debian.tar.xz               13-Aug-2025 03:26    2908
coq-quickchick_2.1.0-1.dsc                         13-Aug-2025 03:26    2288
coq-quickchick_2.1.0.orig.tar.gz                   13-Aug-2025 03:26    405K
libcoq-quickchick_1.6.4-3+b1_amd64.deb             28-Apr-2023 18:55      2M
libcoq-quickchick_1.6.4-3+b1_arm64.deb             28-Apr-2023 18:16      2M
libcoq-quickchick_1.6.4-3+b1_i386.deb              28-Apr-2023 18:11      1M
libcoq-quickchick_2.1.0-1+b2_amd64.deb             13-Aug-2025 05:14      4M
libcoq-quickchick_2.1.0-1+b2_arm64.deb             13-Aug-2025 02:43      4M
quickchick_1.6.4-3+b1_amd64.deb                    28-Apr-2023 18:10     54K
quickchick_1.6.4-3+b1_arm64.deb                    28-Apr-2023 17:54     54K
quickchick_1.6.4-3+b1_i386.deb                     28-Apr-2023 17:50     54K
quickchick_2.1.0-1+b2_amd64.deb                    13-Aug-2025 01:48    481K
quickchick_2.1.0-1+b2_arm64.deb                    13-Aug-2025 01:40    524K