Index of /ubuntu/pool/universe/c/coq-quickchick/
../
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.orig.tar.gz 15-Aug-2022 11:39 388461
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-1build5.debian.tar.xz 08-Apr-2024 07:57 3300
coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 07:57 2353
coq-quickchick_2.0.2.orig.tar.gz 20-Jan-2024 23:35 415619
coq-quickchick_2.0.3-2build6.debian.tar.xz 15-Jun-2024 14:43 2920
coq-quickchick_2.0.3-2build6.dsc 15-Jun-2024 14:43 2274
coq-quickchick_2.0.3-3build3.debian.tar.xz 08-Sep-2024 03:03 2984
coq-quickchick_2.0.3-3build3.dsc 08-Sep-2024 03:03 2274
coq-quickchick_2.0.3-3build4.debian.tar.xz 11-Sep-2024 20:51 2992
coq-quickchick_2.0.3-3build4.dsc 11-Sep-2024 20:51 2274
coq-quickchick_2.0.3-3build5.debian.tar.xz 17-Sep-2024 16:56 3008
coq-quickchick_2.0.3-3build5.dsc 17-Sep-2024 16:56 2274
coq-quickchick_2.0.3-3build6.debian.tar.xz 20-Nov-2024 10:28 3036
coq-quickchick_2.0.3-3build6.dsc 20-Nov-2024 10:28 2274
coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 11:53 411625
coq-quickchick_2.0.4-1.debian.tar.xz 20-Nov-2024 18:47 2876
coq-quickchick_2.0.4-1.dsc 20-Nov-2024 18:47 2275
coq-quickchick_2.0.4-1build1.debian.tar.xz 21-Nov-2024 14:00 2944
coq-quickchick_2.0.4-1build1.dsc 21-Nov-2024 14:00 2274
coq-quickchick_2.0.4.orig.tar.gz 20-Nov-2024 18:47 412923
coq-quickchick_2.0.5-1.debian.tar.xz 18-Dec-2024 23:41 2888
coq-quickchick_2.0.5-1.dsc 18-Dec-2024 23:41 2287
coq-quickchick_2.0.5-1build1.debian.tar.xz 20-Dec-2024 14:16 2960
coq-quickchick_2.0.5-1build1.dsc 20-Dec-2024 14:16 2274
coq-quickchick_2.0.5-1build2.debian.tar.xz 10-Jan-2025 12:21 3008
coq-quickchick_2.0.5-1build2.dsc 10-Jan-2025 12:21 2274
coq-quickchick_2.0.5-1build3.debian.tar.xz 23-Jan-2025 09:05 3016
coq-quickchick_2.0.5-1build3.dsc 23-Jan-2025 09:05 2274
coq-quickchick_2.0.5-1build4.debian.tar.xz 31-Jan-2025 08:45 3036
coq-quickchick_2.0.5-1build4.dsc 31-Jan-2025 08:45 2274
coq-quickchick_2.0.5-1build5.debian.tar.xz 12-Feb-2025 22:46 3048
coq-quickchick_2.0.5-1build5.dsc 12-Feb-2025 22:46 2274
coq-quickchick_2.0.5-1build6.debian.tar.xz 19-Feb-2025 07:52 3064
coq-quickchick_2.0.5-1build6.dsc 19-Feb-2025 07:52 2274
coq-quickchick_2.0.5.orig.tar.gz 18-Dec-2024 23:41 413023
coq-quickchick_2.0.orig.tar.gz 14-Jun-2023 23:24 409785
libcoq-quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 07:29 1822488
libcoq-quickchick_2.0-2build1_amd64.deb 26-Jul-2023 09:58 2096686
libcoq-quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 14:36 1950450
libcoq-quickchick_2.0.3-2build6_amd64.deb 15-Jun-2024 21:48 3776246
libcoq-quickchick_2.0.3-3build3_amd64.deb 08-Sep-2024 03:03 4546904
libcoq-quickchick_2.0.3-3build4_amd64.deb 12-Sep-2024 21:28 4546626
libcoq-quickchick_2.0.3-3build5_amd64.deb 19-Sep-2024 23:39 4546582
libcoq-quickchick_2.0.3-3build6_amd64.deb 20-Nov-2024 10:29 4546816
libcoq-quickchick_2.0.4-1_amd64.deb 20-Nov-2024 18:48 4558202
libcoq-quickchick_2.0.4-1build1_amd64.deb 21-Nov-2024 14:01 4527098
libcoq-quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:49 4525884
libcoq-quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 14:16 4526104
libcoq-quickchick_2.0.5-1build2_amd64.deb 10-Jan-2025 15:56 4526028
libcoq-quickchick_2.0.5-1build3_amd64.deb 26-Jan-2025 09:36 4525970
libcoq-quickchick_2.0.5-1build4_amd64.deb 02-Feb-2025 12:45 4500190
libcoq-quickchick_2.0.5-1build5_amd64.deb 15-Feb-2025 19:04 4500260
libcoq-quickchick_2.0.5-1build6_amd64.deb 20-Feb-2025 04:20 4501446
quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 07:29 63418
quickchick_2.0-2build1_amd64.deb 26-Jul-2023 09:58 63790
quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 14:36 66526
quickchick_2.0.3-2build6_amd64.deb 15-Jun-2024 21:48 459324
quickchick_2.0.3-3build3_amd64.deb 08-Sep-2024 03:03 529932
quickchick_2.0.3-3build4_amd64.deb 12-Sep-2024 21:28 529878
quickchick_2.0.3-3build5_amd64.deb 19-Sep-2024 23:39 529564
quickchick_2.0.3-3build6_amd64.deb 20-Nov-2024 10:29 529856
quickchick_2.0.4-1_amd64.deb 20-Nov-2024 18:48 529864
quickchick_2.0.4-1build1_amd64.deb 21-Nov-2024 14:01 529662
quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:49 534760
quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 14:16 529588
quickchick_2.0.5-1build2_amd64.deb 10-Jan-2025 15:56 529544
quickchick_2.0.5-1build3_amd64.deb 26-Jan-2025 09:36 529446
quickchick_2.0.5-1build4_amd64.deb 02-Feb-2025 12:45 565908
quickchick_2.0.5-1build5_amd64.deb 15-Feb-2025 19:04 565874
quickchick_2.0.5-1build6_amd64.deb 20-Feb-2025 04:20 567026