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.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
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_s390x.deb 18-Mar-2025 20:02 4231616
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
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_s390x.deb 18-Mar-2025 20:02 497660
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