Index of /debian/pool/main/c/coq-quickchick/
../
coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 06:18 2724
coq-quickchick_1.6.4-3.dsc 27-Jan-2023 06:18 2261
coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 06:38 388461
coq-quickchick_2.0.5-1.debian.tar.xz 18-Dec-2024 16:08 2888
coq-quickchick_2.0.5-1.dsc 18-Dec-2024 16:08 2287
coq-quickchick_2.0.5.orig.tar.gz 18-Dec-2024 16:08 413023
coq-quickchick_2.1.0-1.1.debian.tar.xz 21-Sep-2025 11:55 3016
coq-quickchick_2.1.0-1.1.dsc 21-Sep-2025 11:55 2258
coq-quickchick_2.1.0-1.debian.tar.xz 18-Mar-2025 12:33 2908
coq-quickchick_2.1.0-1.dsc 18-Mar-2025 12:33 2288
coq-quickchick_2.1.0.orig.tar.gz 18-Mar-2025 12:33 414544
coq-quickchick_2.1.1-1.debian.tar.xz 30-Oct-2025 07:23 3080
coq-quickchick_2.1.1-1.dsc 30-Oct-2025 07:23 2287
coq-quickchick_2.1.1-2.debian.tar.xz 11-Nov-2025 19:57 3124
coq-quickchick_2.1.1-2.dsc 11-Nov-2025 19:57 2294
coq-quickchick_2.1.1.orig.tar.gz 30-Oct-2025 07:23 414612
libcoq-quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 1584008
libcoq-quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 06:11 1605120
libcoq-quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 06:11 1579732
libcoq-quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 06:16 1567080
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 13:13 1588264
libcoq-quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 06:26 1587008
libcoq-quickchick_2.0.5-1+b2_amd64.deb 10-Jan-2025 00:04 4254116
libcoq-quickchick_2.0.5-1+b2_arm64.deb 10-Jan-2025 00:04 4261720
libcoq-quickchick_2.0.5-1+b2_ppc64el.deb 09-Jan-2025 23:43 4268448
libcoq-quickchick_2.0.5-1+b2_riscv64.deb 10-Jan-2025 00:29 4419012
libcoq-quickchick_2.0.5-1+b2_s390x.deb 10-Jan-2025 00:09 4233216
libcoq-quickchick_2.0.5-1+b3_amd64.deb 15-Jan-2025 06:42 4253424
libcoq-quickchick_2.0.5-1+b3_arm64.deb 15-Jan-2025 08:14 4262980
libcoq-quickchick_2.0.5-1+b3_ppc64el.deb 15-Jan-2025 07:17 4266492
libcoq-quickchick_2.0.5-1+b3_riscv64.deb 15-Jan-2025 21:12 4421036
libcoq-quickchick_2.0.5-1+b3_s390x.deb 15-Jan-2025 11:06 4231896
libcoq-quickchick_2.0.5-1+b4_amd64.deb 30-Jan-2025 08:08 4229964
libcoq-quickchick_2.0.5-1+b4_arm64.deb 30-Jan-2025 09:08 4237228
libcoq-quickchick_2.0.5-1+b4_ppc64el.deb 30-Jan-2025 07:52 4241672
libcoq-quickchick_2.0.5-1+b4_riscv64.deb 30-Jan-2025 23:59 4392512
libcoq-quickchick_2.0.5-1+b4_s390x.deb 30-Jan-2025 10:09 4207612
libcoq-quickchick_2.0.5-1+b5_amd64.deb 14-Feb-2025 06:09 4230368
libcoq-quickchick_2.0.5-1+b5_arm64.deb 14-Feb-2025 06:35 4239968
libcoq-quickchick_2.0.5-1+b5_ppc64el.deb 14-Feb-2025 06:04 4243988
libcoq-quickchick_2.0.5-1+b5_riscv64.deb 14-Feb-2025 11:23 4393480
libcoq-quickchick_2.0.5-1+b5_s390x.deb 14-Feb-2025 16:34 4206944
libcoq-quickchick_2.0.5-1+b6_amd64.deb 18-Feb-2025 02:57 4228300
libcoq-quickchick_2.0.5-1+b6_arm64.deb 18-Feb-2025 05:49 4239268
libcoq-quickchick_2.0.5-1+b6_ppc64el.deb 18-Feb-2025 01:37 4243908
libcoq-quickchick_2.0.5-1+b6_riscv64.deb 18-Feb-2025 15:29 4387672
libcoq-quickchick_2.0.5-1+b6_s390x.deb 18-Feb-2025 20:05 4206964
libcoq-quickchick_2.1.0-1+b1_amd64.deb 18-Mar-2025 17:39 4255076
libcoq-quickchick_2.1.0-1+b1_arm64.deb 18-Mar-2025 19:12 4261400
libcoq-quickchick_2.1.0-1+b1_ppc64el.deb 18-Mar-2025 18:46 4267960
libcoq-quickchick_2.1.0-1+b1_riscv64.deb 17-Jun-2025 21:40 4416132
libcoq-quickchick_2.1.0-1+b1_s390x.deb 18-Mar-2025 20:02 4231616
libcoq-quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 11:30 4253160
libcoq-quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 11:35 4262452
libcoq-quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 11:20 4265544
libcoq-quickchick_2.1.0-1+b2_riscv64.deb 27-Aug-2025 02:22 4418324
libcoq-quickchick_2.1.0-1+b2_s390x.deb 17-Jun-2025 22:47 4231724
libcoq-quickchick_2.1.0-1+b3_amd64.deb 26-Aug-2025 12:00 4253408
libcoq-quickchick_2.1.0-1+b3_arm64.deb 26-Aug-2025 12:31 4263408
libcoq-quickchick_2.1.0-1+b3_ppc64el.deb 26-Aug-2025 11:35 4265824
libcoq-quickchick_2.1.0-1+b3_riscv64.deb 12-Sep-2025 11:40 4414308
libcoq-quickchick_2.1.0-1+b3_s390x.deb 27-Aug-2025 04:29 4233808
libcoq-quickchick_2.1.0-1+b4_amd64.deb 11-Sep-2025 21:52 4253484
libcoq-quickchick_2.1.0-1+b4_arm64.deb 11-Sep-2025 22:02 4263408
libcoq-quickchick_2.1.0-1+b4_ppc64el.deb 11-Sep-2025 21:52 4265436
libcoq-quickchick_2.1.0-1+b4_riscv64.deb 16-Sep-2025 23:58 4415664
libcoq-quickchick_2.1.0-1+b4_s390x.deb 12-Sep-2025 09:04 4232596
libcoq-quickchick_2.1.0-1+b5_amd64.deb 16-Sep-2025 11:37 4254528
libcoq-quickchick_2.1.0-1+b5_arm64.deb 16-Sep-2025 11:37 4263020
libcoq-quickchick_2.1.0-1+b5_ppc64el.deb 16-Sep-2025 11:42 4267328
libcoq-quickchick_2.1.0-1+b5_riscv64.deb 25-Sep-2025 22:27 4418308
libcoq-quickchick_2.1.0-1+b5_s390x.deb 16-Sep-2025 13:27 4232452
libcoq-quickchick_2.1.0-1+b6_amd64.deb 24-Sep-2025 10:24 4253336
libcoq-quickchick_2.1.0-1+b6_arm64.deb 24-Sep-2025 11:41 4262636
libcoq-quickchick_2.1.0-1+b6_ppc64el.deb 24-Sep-2025 11:30 4266648
libcoq-quickchick_2.1.0-1+b6_s390x.deb 24-Sep-2025 19:34 4232788
libcoq-quickchick_2.1.0-1.1+b1_amd64.deb 17-Oct-2025 12:46 4253596
libcoq-quickchick_2.1.0-1.1+b1_arm64.deb 17-Oct-2025 13:17 4262892
libcoq-quickchick_2.1.0-1.1+b1_ppc64el.deb 17-Oct-2025 13:37 4266140
libcoq-quickchick_2.1.0-1.1+b1_riscv64.deb 18-Oct-2025 03:50 4417308
libcoq-quickchick_2.1.0-1.1+b1_s390x.deb 17-Oct-2025 13:17 4232992
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb 28-Oct-2025 20:48 4253628
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb 28-Oct-2025 20:48 4262428
libcoq-quickchick_2.1.0-1.1+b2_ppc64el.deb 28-Oct-2025 20:48 4265504
libcoq-quickchick_2.1.0-1.1+b2_riscv64.deb 29-Oct-2025 09:49 4414280
libcoq-quickchick_2.1.0-1.1+b2_s390x.deb 28-Oct-2025 20:48 4234468
libcoq-quickchick_2.1.0-1.1_amd64.deb 28-Sep-2025 10:04 4254448
libcoq-quickchick_2.1.0-1.1_arm64.deb 28-Sep-2025 10:10 4262096
libcoq-quickchick_2.1.0-1.1_ppc64el.deb 28-Sep-2025 09:59 4265260
libcoq-quickchick_2.1.0-1.1_riscv64.deb 28-Sep-2025 15:55 4418376
libcoq-quickchick_2.1.0-1.1_s390x.deb 28-Sep-2025 12:07 4233336
libcoq-quickchick_2.1.0-1_amd64.deb 18-Mar-2025 12:44 4254148
libcoq-quickchick_2.1.0-1_arm64.deb 18-Mar-2025 12:54 4260768
libcoq-quickchick_2.1.0-1_ppc64el.deb 18-Mar-2025 12:44 4265068
libcoq-quickchick_2.1.0-1_riscv64.deb 19-Mar-2025 06:31 4418148
libcoq-quickchick_2.1.0-1_s390x.deb 18-Mar-2025 13:04 4232492
libcoq-quickchick_2.1.1-1_amd64.deb 30-Oct-2025 07:23 4204452
libcoq-quickchick_2.1.1-1_arm64.deb 30-Oct-2025 15:10 4262996
libcoq-quickchick_2.1.1-1_ppc64el.deb 30-Oct-2025 20:57 4265200
libcoq-quickchick_2.1.1-1_s390x.deb 31-Oct-2025 11:38 4232228
libcoq-quickchick_2.1.1-2_amd64.deb 11-Nov-2025 19:57 4203864
quickchick_1.6.4-3+b1_amd64.deb 14-Feb-2023 06:11 55660
quickchick_1.6.4-3+b1_arm64.deb 14-Feb-2023 06:11 55652
quickchick_1.6.4-3+b1_armhf.deb 14-Feb-2023 06:11 55656
quickchick_1.6.4-3+b1_i386.deb 14-Feb-2023 06:16 55656
quickchick_1.6.4-3+b1_ppc64el.deb 14-Feb-2023 13:13 55676
quickchick_1.6.4-3+b1_s390x.deb 14-Feb-2023 06:26 55672
quickchick_2.0.5-1+b2_amd64.deb 10-Jan-2025 00:04 480980
quickchick_2.0.5-1+b2_arm64.deb 10-Jan-2025 00:04 525752
quickchick_2.0.5-1+b2_ppc64el.deb 09-Jan-2025 23:43 498564
quickchick_2.0.5-1+b2_riscv64.deb 10-Jan-2025 00:29 501120
quickchick_2.0.5-1+b2_s390x.deb 10-Jan-2025 00:09 487540
quickchick_2.0.5-1+b3_amd64.deb 15-Jan-2025 06:42 480688
quickchick_2.0.5-1+b3_arm64.deb 15-Jan-2025 08:14 525188
quickchick_2.0.5-1+b3_ppc64el.deb 15-Jan-2025 07:17 498224
quickchick_2.0.5-1+b3_riscv64.deb 15-Jan-2025 21:12 501036
quickchick_2.0.5-1+b3_s390x.deb 15-Jan-2025 11:06 487980
quickchick_2.0.5-1+b4_amd64.deb 30-Jan-2025 08:08 491388
quickchick_2.0.5-1+b4_arm64.deb 30-Jan-2025 09:08 535136
quickchick_2.0.5-1+b4_ppc64el.deb 30-Jan-2025 07:52 511444
quickchick_2.0.5-1+b4_riscv64.deb 30-Jan-2025 23:59 511412
quickchick_2.0.5-1+b4_s390x.deb 30-Jan-2025 10:09 498784
quickchick_2.0.5-1+b5_amd64.deb 14-Feb-2025 06:09 491596
quickchick_2.0.5-1+b5_arm64.deb 14-Feb-2025 06:35 535288
quickchick_2.0.5-1+b5_ppc64el.deb 14-Feb-2025 06:04 511764
quickchick_2.0.5-1+b5_riscv64.deb 14-Feb-2025 11:23 511132
quickchick_2.0.5-1+b5_s390x.deb 14-Feb-2025 16:34 498408
quickchick_2.0.5-1+b6_amd64.deb 18-Feb-2025 02:57 492500
quickchick_2.0.5-1+b6_arm64.deb 18-Feb-2025 05:49 538024
quickchick_2.0.5-1+b6_ppc64el.deb 18-Feb-2025 01:37 511404
quickchick_2.0.5-1+b6_riscv64.deb 18-Feb-2025 15:29 512868
quickchick_2.0.5-1+b6_s390x.deb 18-Feb-2025 20:05 497836
quickchick_2.1.0-1+b1_amd64.deb 18-Mar-2025 17:39 492272
quickchick_2.1.0-1+b1_arm64.deb 18-Mar-2025 19:12 535496
quickchick_2.1.0-1+b1_ppc64el.deb 18-Mar-2025 18:46 511568
quickchick_2.1.0-1+b1_riscv64.deb 17-Jun-2025 21:40 511940
quickchick_2.1.0-1+b1_s390x.deb 18-Mar-2025 20:02 497660
quickchick_2.1.0-1+b2_amd64.deb 15-Jun-2025 11:30 492264
quickchick_2.1.0-1+b2_arm64.deb 15-Jun-2025 11:35 536168
quickchick_2.1.0-1+b2_ppc64el.deb 15-Jun-2025 11:20 511388
quickchick_2.1.0-1+b2_riscv64.deb 27-Aug-2025 02:22 512440
quickchick_2.1.0-1+b2_s390x.deb 17-Jun-2025 22:47 498080
quickchick_2.1.0-1+b3_amd64.deb 26-Aug-2025 12:00 491944
quickchick_2.1.0-1+b3_arm64.deb 26-Aug-2025 12:31 535020
quickchick_2.1.0-1+b3_ppc64el.deb 26-Aug-2025 11:35 511664
quickchick_2.1.0-1+b3_riscv64.deb 12-Sep-2025 11:40 512412
quickchick_2.1.0-1+b3_s390x.deb 27-Aug-2025 04:29 498736
quickchick_2.1.0-1+b4_amd64.deb 11-Sep-2025 21:52 492272
quickchick_2.1.0-1+b4_arm64.deb 11-Sep-2025 22:02 535548
quickchick_2.1.0-1+b4_ppc64el.deb 11-Sep-2025 21:52 511600
quickchick_2.1.0-1+b4_riscv64.deb 16-Sep-2025 23:58 512360
quickchick_2.1.0-1+b4_s390x.deb 12-Sep-2025 09:04 498424
quickchick_2.1.0-1+b5_amd64.deb 16-Sep-2025 11:37 491856
quickchick_2.1.0-1+b5_arm64.deb 16-Sep-2025 11:37 535228
quickchick_2.1.0-1+b5_ppc64el.deb 16-Sep-2025 11:42 511600
quickchick_2.1.0-1+b5_riscv64.deb 25-Sep-2025 22:27 512164
quickchick_2.1.0-1+b5_s390x.deb 16-Sep-2025 13:27 499204
quickchick_2.1.0-1+b6_amd64.deb 24-Sep-2025 10:24 492208
quickchick_2.1.0-1+b6_arm64.deb 24-Sep-2025 11:41 535752
quickchick_2.1.0-1+b6_ppc64el.deb 24-Sep-2025 11:30 511712
quickchick_2.1.0-1+b6_s390x.deb 24-Sep-2025 19:34 497536
quickchick_2.1.0-1.1+b1_amd64.deb 17-Oct-2025 12:46 489916
quickchick_2.1.0-1.1+b1_arm64.deb 17-Oct-2025 13:17 533240
quickchick_2.1.0-1.1+b1_ppc64el.deb 17-Oct-2025 13:37 511140
quickchick_2.1.0-1.1+b1_riscv64.deb 18-Oct-2025 03:50 510200
quickchick_2.1.0-1.1+b1_s390x.deb 17-Oct-2025 13:17 497664
quickchick_2.1.0-1.1+b2_amd64.deb 28-Oct-2025 20:48 490260
quickchick_2.1.0-1.1+b2_arm64.deb 28-Oct-2025 20:48 533276
quickchick_2.1.0-1.1+b2_ppc64el.deb 28-Oct-2025 20:48 509624
quickchick_2.1.0-1.1+b2_riscv64.deb 29-Oct-2025 09:49 510176
quickchick_2.1.0-1.1+b2_s390x.deb 28-Oct-2025 20:48 495816
quickchick_2.1.0-1.1_amd64.deb 28-Sep-2025 10:04 489676
quickchick_2.1.0-1.1_arm64.deb 28-Sep-2025 10:10 532736
quickchick_2.1.0-1.1_ppc64el.deb 28-Sep-2025 09:59 509160
quickchick_2.1.0-1.1_riscv64.deb 28-Sep-2025 15:55 509956
quickchick_2.1.0-1.1_s390x.deb 28-Sep-2025 12:07 497968
quickchick_2.1.0-1_amd64.deb 18-Mar-2025 12:44 492068
quickchick_2.1.0-1_arm64.deb 18-Mar-2025 12:54 535132
quickchick_2.1.0-1_ppc64el.deb 18-Mar-2025 12:44 513252
quickchick_2.1.0-1_riscv64.deb 19-Mar-2025 06:31 511620
quickchick_2.1.0-1_s390x.deb 18-Mar-2025 13:04 497784
quickchick_2.1.1-1_amd64.deb 30-Oct-2025 07:23 489816
quickchick_2.1.1-1_arm64.deb 30-Oct-2025 15:10 532996
quickchick_2.1.1-1_ppc64el.deb 30-Oct-2025 20:57 508796
quickchick_2.1.1-1_s390x.deb 31-Oct-2025 11:38 495068
quickchick_2.1.1-2_amd64.deb 11-Nov-2025 19:57 489660