Index of /debian/pool/main/c/coq-quickchick/
../
coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 14:18 2724
coq-quickchick_1.6.4-3.dsc 27-Jan-2023 14:18 2261
coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 14:38 388461
coq-quickchick_2.0.2-1.debian.tar.xz 21-Jan-2024 03:21 3048
coq-quickchick_2.0.2-1.dsc 21-Jan-2024 03:21 2275
coq-quickchick_2.0.2.orig.tar.gz 21-Jan-2024 03:21 415619
coq-quickchick_2.0.3-2.debian.tar.xz 01-May-2024 05:09 2792
coq-quickchick_2.0.3-2.dsc 01-May-2024 05:09 2275
coq-quickchick_2.0.3-3.debian.tar.xz 04-Aug-2024 14:22 2856
coq-quickchick_2.0.3-3.dsc 04-Aug-2024 14:22 2049
coq-quickchick_2.0.3.orig.tar.gz 01-May-2024 05:09 411625
coq-quickchick_2.0.4-1.debian.tar.xz 20-Nov-2024 18:07 2876
coq-quickchick_2.0.4-1.dsc 20-Nov-2024 18:07 2275
coq-quickchick_2.0.4.orig.tar.gz 20-Nov-2024 18:07 412923
coq-quickchick_2.0.5-1.debian.tar.xz 19-Dec-2024 00:08 2888
coq-quickchick_2.0.5-1.dsc 19-Dec-2024 00:08 2287
coq-quickchick_2.0.5.orig.tar.gz 19-Dec-2024 00:08 413023
coq-quickchick_2.1.0-1.1.debian.tar.xz 21-Sep-2025 19:55 3016
coq-quickchick_2.1.0-1.1.dsc 21-Sep-2025 19:55 2258
coq-quickchick_2.1.0-1.debian.tar.xz 18-Mar-2025 20:33 2908
coq-quickchick_2.1.0-1.dsc 18-Mar-2025 20:33 2288
coq-quickchick_2.1.0.orig.tar.gz 18-Mar-2025 20:33 414544
coq-quickchick_2.1.1-1.debian.tar.xz 30-Oct-2025 15:23 3080
coq-quickchick_2.1.1-1.dsc 30-Oct-2025 15:23 2287
coq-quickchick_2.1.1-2.debian.tar.xz 12-Nov-2025 03:57 3124
coq-quickchick_2.1.1-2.dsc 12-Nov-2025 03:57 2294
coq-quickchick_2.1.1.orig.tar.gz 30-Oct-2025 15:23 414612
libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 14:11 1584008
libcoq-quickchick_2.0.2-1+b1_amd64.deb 16-Feb-2024 23:04 1708436
libcoq-quickchick_2.0.3-2+b1_amd64.deb 05-Jun-2024 07:37 3270092
libcoq-quickchick_2.0.3-2+b2_amd64.deb 15-Jun-2024 21:06 3257516
libcoq-quickchick_2.0.3-2_amd64.deb 01-May-2024 05:39 3268460
libcoq-quickchick_2.0.3-3+b2_amd64.deb 12-Aug-2024 12:35 4272932
libcoq-quickchick_2.0.3-3+b3_amd64.deb 21-Aug-2024 15:59 4273460
libcoq-quickchick_2.0.3-3+b4_amd64.deb 31-Aug-2024 13:16 4273124
libcoq-quickchick_2.0.3-3+b5_amd64.deb 17-Sep-2024 19:38 4273816
libcoq-quickchick_2.0.3-3+b6_amd64.deb 13-Oct-2024 19:49 4272068
libcoq-quickchick_2.0.3-3_amd64.deb 05-Aug-2024 03:31 3453100
libcoq-quickchick_2.0.4-1_amd64.deb 21-Nov-2024 08:03 4252376
libcoq-quickchick_2.0.5-1+b1_amd64.deb 20-Dec-2024 03:49 4253480
libcoq-quickchick_2.0.5-1+b2_amd64.deb 10-Jan-2025 08:04 4254116
libcoq-quickchick_2.0.5-1+b3_amd64.deb 15-Jan-2025 14:42 4253424
libcoq-quickchick_2.0.5-1+b4_amd64.deb 30-Jan-2025 16:08 4229964
libcoq-quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:38 4252984
libcoq-quickchick_2.1.0-1+b1_amd64.deb 19-Mar-2025 01:39 4255076
libcoq-quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 19:30 4253160
libcoq-quickchick_2.1.0-1+b3_amd64.deb 26-Aug-2025 20:00 4253408
libcoq-quickchick_2.1.0-1+b4_amd64.deb 12-Sep-2025 05:52 4253484
libcoq-quickchick_2.1.0-1+b5_amd64.deb 16-Sep-2025 19:37 4254528
libcoq-quickchick_2.1.0-1+b6_amd64.deb 24-Sep-2025 18:24 4253336
libcoq-quickchick_2.1.0-1.1+b1_amd64.deb 17-Oct-2025 20:46 4253596
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb 29-Oct-2025 04:48 4253628
libcoq-quickchick_2.1.0-1.1+b4_amd64.deb 28-Dec-2025 14:17 3576248
libcoq-quickchick_2.1.0-1.1_amd64.deb 28-Sep-2025 18:04 4254448
libcoq-quickchick_2.1.1-1_amd64.deb 30-Oct-2025 15:23 4204452
libcoq-quickchick_2.1.1-2_amd64.deb 12-Nov-2025 03:57 4203864
quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 14:11 55660
quickchick_2.0.2-1+b1_amd64.deb 16-Feb-2024 23:04 58776
quickchick_2.0.3-2+b1_amd64.deb 05-Jun-2024 07:37 410772
quickchick_2.0.3-2+b2_amd64.deb 15-Jun-2024 21:06 411352
quickchick_2.0.3-2_amd64.deb 01-May-2024 05:39 411168
quickchick_2.0.3-3+b2_amd64.deb 12-Aug-2024 12:35 480704
quickchick_2.0.3-3+b3_amd64.deb 21-Aug-2024 15:59 480936
quickchick_2.0.3-3+b4_amd64.deb 31-Aug-2024 13:16 482652
quickchick_2.0.3-3+b5_amd64.deb 17-Sep-2024 19:38 480880
quickchick_2.0.3-3+b6_amd64.deb 13-Oct-2024 19:49 482968
quickchick_2.0.3-3_amd64.deb 05-Aug-2024 03:31 411596
quickchick_2.0.4-1_amd64.deb 21-Nov-2024 08:03 480052
quickchick_2.0.5-1+b1_amd64.deb 20-Dec-2024 03:49 481152
quickchick_2.0.5-1+b2_amd64.deb 10-Jan-2025 08:04 480980
quickchick_2.0.5-1+b3_amd64.deb 15-Jan-2025 14:42 480688
quickchick_2.0.5-1+b4_amd64.deb 30-Jan-2025 16:08 491388
quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:38 480680
quickchick_2.1.0-1+b1_amd64.deb 19-Mar-2025 01:39 492272
quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 19:30 492264
quickchick_2.1.0-1+b3_amd64.deb 26-Aug-2025 20:00 491944
quickchick_2.1.0-1+b4_amd64.deb 12-Sep-2025 05:52 492272
quickchick_2.1.0-1+b5_amd64.deb 16-Sep-2025 19:37 491856
quickchick_2.1.0-1+b6_amd64.deb 24-Sep-2025 18:24 492208
quickchick_2.1.0-1.1+b1_amd64.deb 17-Oct-2025 20:46 489916
quickchick_2.1.0-1.1+b2_amd64.deb 29-Oct-2025 04:48 490260
quickchick_2.1.0-1.1+b4_amd64.deb 28-Dec-2025 14:17 500980
quickchick_2.1.0-1.1_amd64.deb 28-Sep-2025 18:04 489676
quickchick_2.1.1-1_amd64.deb 30-Oct-2025 15:23 489816
quickchick_2.1.1-2_amd64.deb 12-Nov-2025 03:57 489660