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

---

../
coq-quickchick_1.6.4-1.debian.tar.xz               15-Aug-2022 18:39    2636
coq-quickchick_1.6.4-1.dsc                         15-Aug-2022 18:39    2256
coq-quickchick_1.6.4-2build2.debian.tar.xz         04-Dec-2022 02:54    2768
coq-quickchick_1.6.4-2build2.dsc                   04-Dec-2022 02:54    2255
coq-quickchick_1.6.4-2build3.debian.tar.xz         27-Jan-2023 16:04    2784
coq-quickchick_1.6.4-2build3.dsc                   27-Jan-2023 16:04    2255
coq-quickchick_1.6.4-3.debian.tar.xz               27-Jan-2023 18:55    2724
coq-quickchick_1.6.4-3.dsc                         27-Jan-2023 18:55    2261
coq-quickchick_1.6.4-3build3.debian.tar.xz         17-Feb-2023 14:29    2812
coq-quickchick_1.6.4-3build3.dsc                   17-Feb-2023 14:29    2260
coq-quickchick_1.6.4.orig.tar.gz                   15-Aug-2022 18:39    379K
coq-quickchick_2.0-1.debian.tar.xz                 15-Jun-2023 06:24    2848
coq-quickchick_2.0-1.dsc                           15-Jun-2023 06:24    2247
coq-quickchick_2.0-2.debian.tar.xz                 13-Jul-2023 06:15    2900
coq-quickchick_2.0-2.dsc                           13-Jul-2023 06:15    2033
coq-quickchick_2.0-2build1.debian.tar.xz           25-Jul-2023 00:37    2964
coq-quickchick_2.0-2build1.dsc                     25-Jul-2023 00:37    2260
coq-quickchick_2.0-2build3.debian.tar.xz           23-Nov-2023 07:05    3024
coq-quickchick_2.0-2build3.dsc                     23-Nov-2023 07:05    2260
coq-quickchick_2.0.2-1.debian.tar.xz               21-Jan-2024 06:35    3048
coq-quickchick_2.0.2-1.dsc                         21-Jan-2024 06:35    2275
coq-quickchick_2.0.2-1build1.debian.tar.xz         28-Jan-2024 08:05    3108
coq-quickchick_2.0.2-1build1.dsc                   28-Jan-2024 08:05    2274
coq-quickchick_2.0.2.orig.tar.gz                   21-Jan-2024 06:35    406K
coq-quickchick_2.0.orig.tar.gz                     15-Jun-2023 06:24    400K
libcoq-quickchick_1.6.4-1_amd64.deb                22-Aug-2022 13:54      2M
libcoq-quickchick_1.6.4-2build2_amd64.deb          04-Dec-2022 02:54      2M
libcoq-quickchick_1.6.4-2build3_amd64.deb          27-Jan-2023 16:04      2M
libcoq-quickchick_1.6.4-3_amd64.deb                27-Jan-2023 18:55      2M
libcoq-quickchick_1.6.4-3build3_amd64.deb          17-Feb-2023 14:29      2M
libcoq-quickchick_2.0-1_amd64.deb                  15-Jun-2023 06:24      2M
libcoq-quickchick_2.0-2_amd64.deb                  13-Jul-2023 07:15      2M
libcoq-quickchick_2.0-2build1_amd64.deb            26-Jul-2023 16:58      2M
libcoq-quickchick_2.0-2build3_amd64.deb            23-Nov-2023 07:05      2M
libcoq-quickchick_2.0.1-1_amd64.deb                26-Dec-2023 00:31      2M
libcoq-quickchick_2.0.2-1build1_amd64.deb          28-Jan-2024 08:05      2M
quickchick_1.6.4-1_amd64.deb                       22-Aug-2022 13:54     62K
quickchick_1.6.4-2build2_amd64.deb                 04-Dec-2022 02:54     62K
quickchick_1.6.4-2build3_amd64.deb                 27-Jan-2023 16:04     62K
quickchick_1.6.4-3_amd64.deb                       27-Jan-2023 18:55     62K
quickchick_1.6.4-3build3_amd64.deb                 17-Feb-2023 14:29     62K
quickchick_2.0-1_amd64.deb                         15-Jun-2023 06:24     62K
quickchick_2.0-2_amd64.deb                         13-Jul-2023 07:15     62K
quickchick_2.0-2build1_amd64.deb                   26-Jul-2023 16:58     62K
quickchick_2.0-2build3_amd64.deb                   23-Nov-2023 07:05     65K
quickchick_2.0.1-1_amd64.deb                       26-Dec-2023 00:31     83K
quickchick_2.0.2-1build1_amd64.deb                 28-Jan-2024 08:05     65K

---