Index of /ubuntu/pool/universe/c/coq-quickchick/
../
coq-quickchick_1.6.3-1.debian.tar.xz 18-Jul-2022 23:49 2572
coq-quickchick_1.6.3-1.dsc 18-Jul-2022 23:49 2256
coq-quickchick_1.6.3-2.debian.tar.xz 14-Aug-2022 17:19 2616
coq-quickchick_1.6.3-2.dsc 14-Aug-2022 17:19 2256
coq-quickchick_1.6.3.orig.tar.gz 18-Jul-2022 23:49 388838
coq-quickchick_1.6.4-1.debian.tar.xz 15-Aug-2022 11:39 2636
coq-quickchick_1.6.4-1.dsc 15-Aug-2022 11:39 2256
coq-quickchick_1.6.4-2.debian.tar.xz 06-Nov-2022 03:17 2672
coq-quickchick_1.6.4-2.dsc 06-Nov-2022 03:17 2256
coq-quickchick_1.6.4-2build1.debian.tar.xz 25-Nov-2022 18:40 2752
coq-quickchick_1.6.4-2build1.dsc 25-Nov-2022 18:40 2255
coq-quickchick_1.6.4-2build2.debian.tar.xz 03-Dec-2022 19:54 2768
coq-quickchick_1.6.4-2build2.dsc 03-Dec-2022 19:54 2255
coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 11:55 2724
coq-quickchick_1.6.4-3.dsc 27-Jan-2023 11:55 2261
coq-quickchick_1.6.4-3build3.debian.tar.xz 17-Feb-2023 07:29 2812
coq-quickchick_1.6.4-3build3.dsc 17-Feb-2023 07:29 2260
coq-quickchick_1.6.4-3build4.debian.tar.xz 13-Jun-2023 09:04 2836
coq-quickchick_1.6.4-3build4.dsc 13-Jun-2023 09:04 2260
coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 11:39 388461
coq-quickchick_2.0-1.debian.tar.xz 14-Jun-2023 23:24 2848
coq-quickchick_2.0-1.dsc 14-Jun-2023 23:24 2247
coq-quickchick_2.0-2.debian.tar.xz 12-Jul-2023 23:15 2900
coq-quickchick_2.0-2.dsc 12-Jul-2023 23:15 2033
coq-quickchick_2.0-2build1.debian.tar.xz 24-Jul-2023 17:37 2964
coq-quickchick_2.0-2build1.dsc 24-Jul-2023 17:37 2260
coq-quickchick_2.0.2-1build2.debian.tar.xz 17-Feb-2024 00:37 3156
coq-quickchick_2.0.2-1build2.dsc 17-Feb-2024 00:37 2274
coq-quickchick_2.0.2-1build3.debian.tar.xz 24-Mar-2024 00:53 3260
coq-quickchick_2.0.2-1build3.dsc 24-Mar-2024 00:53 2390
coq-quickchick_2.0.2.orig.tar.gz 20-Jan-2024 23:35 415619
coq-quickchick_2.0.orig.tar.gz 14-Jun-2023 23:24 409785
libcoq-quickchick_1.6.3-1_amd64.deb 19-Jul-2022 18:44 1821566
libcoq-quickchick_1.6.4-1_amd64.deb 22-Aug-2022 06:54 1823992
libcoq-quickchick_1.6.4-2build1_amd64.deb 25-Nov-2022 18:41 1823734
libcoq-quickchick_1.6.4-2build2_amd64.deb 03-Dec-2022 19:54 1823656
libcoq-quickchick_1.6.4-3_amd64.deb 27-Jan-2023 11:55 1823736
libcoq-quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 07:29 1822488
libcoq-quickchick_2.0-1_amd64.deb 14-Jun-2023 23:24 2095972
libcoq-quickchick_2.0-2_amd64.deb 13-Jul-2023 00:15 2096270
libcoq-quickchick_2.0-2build1_amd64.deb 26-Jul-2023 09:58 2096686
libcoq-quickchick_2.0.2-1build2_amd64.deb 17-Feb-2024 15:52 1950512
libcoq-quickchick_2.0.2-1build3_amd64.deb 24-Mar-2024 20:37 1950462
quickchick_1.6.3-1_amd64.deb 19-Jul-2022 18:44 63144
quickchick_1.6.4-1_amd64.deb 22-Aug-2022 06:54 63230
quickchick_1.6.4-2build1_amd64.deb 25-Nov-2022 18:41 63362
quickchick_1.6.4-2build2_amd64.deb 03-Dec-2022 19:54 63378
quickchick_1.6.4-3_amd64.deb 27-Jan-2023 11:55 63318
quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 07:29 63418
quickchick_2.0-1_amd64.deb 14-Jun-2023 23:24 63630
quickchick_2.0-2_amd64.deb 13-Jul-2023 00:15 63700
quickchick_2.0-2build1_amd64.deb 26-Jul-2023 09:58 63790
quickchick_2.0.2-1build2_amd64.deb 17-Feb-2024 15:52 66310
quickchick_2.0.2-1build3_amd64.deb 24-Mar-2024 20:37 66422