Index of /debian/pool/main/c/coq-quickchick

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-quickchick_1.6.3-1.debian.tar.xz2022-07-15 18:49 2.5K 
[TXT]coq-quickchick_1.6.3-1.dsc2022-07-15 18:49 2.2K 
[ ]coq-quickchick_1.6.3-2.debian.tar.xz2022-08-14 06:04 2.6K 
[TXT]coq-quickchick_1.6.3-2.dsc2022-08-14 06:04 2.2K 
[ ]coq-quickchick_1.6.3.orig.tar.gz2022-07-15 18:49 380K 
[ ]coq-quickchick_1.6.4-1.debian.tar.xz2022-08-15 02:38 2.6K 
[TXT]coq-quickchick_1.6.4-1.dsc2022-08-15 02:38 2.2K 
[ ]coq-quickchick_1.6.4-2.debian.tar.xz2022-09-06 05:09 2.6K 
[TXT]coq-quickchick_1.6.4-2.dsc2022-09-06 05:09 2.2K 
[ ]coq-quickchick_1.6.4-3.debian.tar.xz2023-01-27 01:18 2.7K 
[TXT]coq-quickchick_1.6.4-3.dsc2023-01-27 01:18 2.2K 
[ ]coq-quickchick_1.6.4.orig.tar.gz2022-08-15 02:38 379K 
[ ]coq-quickchick_2.0-1.debian.tar.xz2023-06-14 09:57 2.8K 
[TXT]coq-quickchick_2.0-1.dsc2023-06-14 09:57 2.2K 
[ ]coq-quickchick_2.0-2.debian.tar.xz2023-07-12 05:06 2.8K 
[TXT]coq-quickchick_2.0-2.dsc2023-07-12 05:06 2.0K 
[ ]coq-quickchick_2.0.1-1.debian.tar.xz2023-12-22 06:07 2.9K 
[TXT]coq-quickchick_2.0.1-1.dsc2023-12-22 06:07 2.2K 
[ ]coq-quickchick_2.0.1.orig.tar.gz2023-12-22 06:07 400K 
[ ]coq-quickchick_2.0.2-1.debian.tar.xz2024-01-20 14:21 3.0K 
[TXT]coq-quickchick_2.0.2-1.dsc2024-01-20 14:21 2.2K 
[ ]coq-quickchick_2.0.2.orig.tar.gz2024-01-20 14:21 406K 
[ ]coq-quickchick_2.0.3-2.debian.tar.xz2024-04-30 17:09 2.7K 
[TXT]coq-quickchick_2.0.3-2.dsc2024-04-30 17:09 2.2K 
[ ]coq-quickchick_2.0.3-3.debian.tar.xz2024-08-04 02:22 2.8K 
[TXT]coq-quickchick_2.0.3-3.dsc2024-08-04 02:22 2.0K 
[ ]coq-quickchick_2.0.3.orig.tar.gz2024-04-30 17:09 402K 
[ ]coq-quickchick_2.0.4-1.debian.tar.xz2024-11-20 05:07 2.8K 
[TXT]coq-quickchick_2.0.4-1.dsc2024-11-20 05:07 2.2K 
[ ]coq-quickchick_2.0.4.orig.tar.gz2024-11-20 05:07 403K 
[ ]coq-quickchick_2.0.5-1.debian.tar.xz2024-12-18 11:08 2.8K 
[TXT]coq-quickchick_2.0.5-1.dsc2024-12-18 11:08 2.2K 
[ ]coq-quickchick_2.0.5.orig.tar.gz2024-12-18 11:08 403K 
[ ]coq-quickchick_2.0.orig.tar.gz2023-06-14 09:57 400K 
[ ]coq-quickchick_2.1.0-1.debian.tar.xz2025-03-18 08:33 2.8K 
[TXT]coq-quickchick_2.1.0-1.dsc2025-03-18 08:33 2.2K 
[ ]coq-quickchick_2.1.0.orig.tar.gz2025-03-18 08:33 405K 
[ ]libcoq-quickchick_1.6.3-1+b1_amd64.deb2022-07-26 20:59 1.5M 
[ ]libcoq-quickchick_1.6.3-1_amd64.deb2022-07-15 18:49 1.5M 
[ ]libcoq-quickchick_1.6.3-1_arm64.deb2022-07-18 12:42 1.5M 
[ ]libcoq-quickchick_1.6.3-1_armhf.deb2022-07-18 13:44 1.5M 
[ ]libcoq-quickchick_1.6.3-1_i386.deb2022-07-18 15:27 1.5M 
[ ]libcoq-quickchick_1.6.3-1_ppc64el.deb2022-07-19 16:43 1.5M 
[ ]libcoq-quickchick_1.6.3-1_s390x.deb2022-07-22 15:59 1.5M 
[ ]libcoq-quickchick_1.6.3-2_amd64.deb2022-08-14 09:00 1.5M 
[ ]libcoq-quickchick_1.6.3-2_arm64.deb2022-08-14 08:44 1.5M 
[ ]libcoq-quickchick_1.6.3-2_armhf.deb2022-08-14 08:45 1.5M 
[ ]libcoq-quickchick_1.6.3-2_i386.deb2022-08-14 09:15 1.5M 
[ ]libcoq-quickchick_1.6.3-2_ppc64el.deb2022-08-14 09:40 1.5M 
[ ]libcoq-quickchick_1.6.3-2_s390x.deb2022-08-14 11:27 1.5M 
[ ]libcoq-quickchick_1.6.4-1_amd64.deb2022-08-15 03:13 1.5M 
[ ]libcoq-quickchick_1.6.4-1_arm64.deb2022-08-15 03:13 1.5M 
[ ]libcoq-quickchick_1.6.4-1_armhf.deb2022-08-15 03:13 1.5M 
[ ]libcoq-quickchick_1.6.4-1_i386.deb2022-08-15 02:58 1.5M 
[ ]libcoq-quickchick_1.6.4-1_ppc64el.deb2022-08-15 03:13 1.5M 
[ ]libcoq-quickchick_1.6.4-1_s390x.deb2022-08-16 14:24 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_amd64.deb2022-09-29 09:27 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_arm64.deb2022-09-29 09:27 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_armhf.deb2022-09-29 09:27 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_i386.deb2022-09-29 09:17 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_ppc64el.deb2022-09-29 09:27 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b1_s390x.deb2022-09-29 09:43 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_amd64.deb2022-11-29 23:43 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_arm64.deb2022-11-29 23:27 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_armhf.deb2022-11-29 22:42 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_i386.deb2022-11-29 21:06 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_ppc64el.deb2022-11-29 23:43 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b2_s390x.deb2022-11-30 06:20 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_amd64.deb2023-01-23 22:42 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_arm64.deb2023-01-23 23:28 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_armhf.deb2023-01-23 23:13 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_i386.deb2023-01-23 22:42 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_ppc64el.deb2023-01-24 14:12 1.5M 
[ ]libcoq-quickchick_1.6.4-2+b3_s390x.deb2023-01-23 22:57 1.5M 
[ ]libcoq-quickchick_1.6.4-2_amd64.deb2022-09-07 04:11 1.5M 
[ ]libcoq-quickchick_1.6.4-2_arm64.deb2022-09-07 05:11 1.5M 
[ ]libcoq-quickchick_1.6.4-2_armhf.deb2022-09-07 05:11 1.5M 
[ ]libcoq-quickchick_1.6.4-2_i386.deb2022-09-07 04:11 1.5M 
[ ]libcoq-quickchick_1.6.4-2_ppc64el.deb2022-09-07 05:11 1.5M 
[ ]libcoq-quickchick_1.6.4-2_s390x.deb2022-09-07 04:31 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_amd64.deb2023-02-14 01:11 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_arm64.deb2023-02-14 01:11 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_armhf.deb2023-02-14 01:11 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_i386.deb2023-02-14 01:16 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_ppc64el.deb2023-02-14 08:13 1.5M 
[ ]libcoq-quickchick_1.6.4-3+b1_s390x.deb2023-02-14 01:26 1.5M 
[ ]libcoq-quickchick_1.6.4-3_amd64.deb2023-01-27 02:04 1.5M 
[ ]libcoq-quickchick_1.6.4-3_arm64.deb2023-01-27 01:59 1.5M 
[ ]libcoq-quickchick_1.6.4-3_armhf.deb2023-01-27 01:59 1.5M 
[ ]libcoq-quickchick_1.6.4-3_i386.deb2023-01-27 02:14 1.5M 
[ ]libcoq-quickchick_1.6.4-3_ppc64el.deb2023-01-27 17:58 1.5M 
[ ]libcoq-quickchick_1.6.4-3_s390x.deb2023-01-27 02:34 1.5M 
[ ]libcoq-quickchick_2.0-1_amd64.deb2023-06-14 18:12 1.7M 
[ ]libcoq-quickchick_2.0-1_arm64.deb2023-06-16 13:57 1.8M 
[ ]libcoq-quickchick_2.0-1_armhf.deb2023-06-14 18:12 1.7M 
[ ]libcoq-quickchick_2.0-1_i386.deb2023-06-14 18:12 1.7M 
[ ]libcoq-quickchick_2.0-1_ppc64el.deb2023-06-19 21:10 1.7M 
[ ]libcoq-quickchick_2.0-1_s390x.deb2023-06-14 17:11 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_amd64.deb2023-07-23 08:59 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_arm64.deb2023-07-23 10:26 1.8M 
[ ]libcoq-quickchick_2.0-2+b1_armhf.deb2023-07-23 11:40 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_i386.deb2023-07-23 09:56 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_ppc64el.deb2023-07-23 09:40 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_riscv64.deb2023-09-24 07:14 1.7M 
[ ]libcoq-quickchick_2.0-2+b1_s390x.deb2023-07-23 18:59 1.7M 
[ ]libcoq-quickchick_2.0-2+b2_amd64.deb2023-09-22 09:54 1.7M 
[ ]libcoq-quickchick_2.0-2+b2_arm64.deb2023-09-22 09:59 1.8M 
[ ]libcoq-quickchick_2.0-2+b2_armhf.deb2023-09-22 09:43 1.7M 
[ ]libcoq-quickchick_2.0-2+b2_i386.deb2023-09-22 09:43 1.7M 
[ ]libcoq-quickchick_2.0-2+b2_ppc64el.deb2023-09-22 10:44 1.7M 
[ ]libcoq-quickchick_2.0-2+b2_s390x.deb2023-09-22 10:29 1.7M 
[ ]libcoq-quickchick_2.0-2_amd64.deb2023-07-12 06:28 1.7M 
[ ]libcoq-quickchick_2.0-2_arm64.deb2023-07-12 07:44 1.8M 
[ ]libcoq-quickchick_2.0-2_armhf.deb2023-07-12 06:28 1.7M 
[ ]libcoq-quickchick_2.0-2_i386.deb2023-07-12 06:13 1.7M 
[ ]libcoq-quickchick_2.0-2_ppc64el.deb2023-07-12 06:28 1.7M 
[ ]libcoq-quickchick_2.0-2_riscv64.deb2023-09-05 17:05 1.7M 
[ ]libcoq-quickchick_2.0-2_s390x.deb2023-07-12 06:33 1.7M 
[ ]libcoq-quickchick_2.0.1-1_amd64.deb2023-12-25 06:48 1.6M 
[ ]libcoq-quickchick_2.0.1-1_arm64.deb2023-12-25 06:48 1.7M 
[ ]libcoq-quickchick_2.0.1-1_armhf.deb2023-12-31 18:52 1.6M 
[ ]libcoq-quickchick_2.0.1-1_i386.deb2023-12-25 06:48 1.6M 
[ ]libcoq-quickchick_2.0.1-1_ppc64el.deb2023-12-25 06:48 1.6M 
[ ]libcoq-quickchick_2.0.1-1_riscv64.deb2024-01-03 23:54 1.6M 
[ ]libcoq-quickchick_2.0.1-1_s390x.deb2023-12-31 18:37 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_amd64.deb2024-02-16 10:04 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_arm64.deb2024-02-16 12:36 1.7M 
[ ]libcoq-quickchick_2.0.2-1+b1_armhf.deb2024-02-16 09:09 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_i386.deb2024-02-16 10:04 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_ppc64el.deb2024-02-16 10:20 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_riscv64.deb2024-02-17 20:33 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b1_s390x.deb2024-02-16 09:59 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_amd64.deb2024-03-20 00:55 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_arm64.deb2024-03-20 01:32 1.7M 
[ ]libcoq-quickchick_2.0.2-1+b2_armhf.deb2024-03-31 19:29 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_i386.deb2024-03-19 23:26 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_ppc64el.deb2024-03-20 00:55 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_riscv64.deb2024-04-12 01:30 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b2_s390x.deb2024-03-20 09:02 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b3_amd64.deb2024-04-29 12:20 1.7M 
[ ]libcoq-quickchick_2.0.2-1+b3_arm64.deb2024-04-29 12:20 1.7M 
[ ]libcoq-quickchick_2.0.2-1+b3_i386.deb2024-04-29 12:20 1.6M 
[ ]libcoq-quickchick_2.0.2-1+b3_ppc64el.deb2024-04-29 12:36 1.7M 
[ ]libcoq-quickchick_2.0.2-1_amd64.deb2024-01-20 15:28 1.6M 
[ ]libcoq-quickchick_2.0.2-1_arm64.deb2024-01-20 15:33 1.7M 
[ ]libcoq-quickchick_2.0.2-1_armhf.deb2024-01-20 15:33 1.6M 
[ ]libcoq-quickchick_2.0.2-1_i386.deb2024-01-20 15:23 1.6M 
[ ]libcoq-quickchick_2.0.2-1_ppc64el.deb2024-01-20 15:28 1.6M 
[ ]libcoq-quickchick_2.0.2-1_riscv64.deb2024-01-20 15:38 1.6M 
[ ]libcoq-quickchick_2.0.2-1_s390x.deb2024-01-20 16:40 1.6M 
[ ]libcoq-quickchick_2.0.3-2+b1_amd64.deb2024-06-04 19:37 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b1_arm64.deb2024-06-05 06:21 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b1_armhf.deb2024-06-15 09:17 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b1_i386.deb2024-06-04 19:37 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b1_ppc64el.deb2024-06-07 07:38 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b1_riscv64.deb2024-06-05 10:59 3.3M 
[ ]libcoq-quickchick_2.0.3-2+b1_s390x.deb2024-06-15 20:38 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b2_amd64.deb2024-06-15 09:06 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b2_arm64.deb2024-06-15 11:18 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b2_i386.deb2024-06-15 09:07 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b2_ppc64el.deb2024-06-15 09:07 3.1M 
[ ]libcoq-quickchick_2.0.3-2+b2_riscv64.deb2024-06-15 20:58 3.2M 
[ ]libcoq-quickchick_2.0.3-2_amd64.deb2024-04-30 17:39 3.1M 
[ ]libcoq-quickchick_2.0.3-2_arm64.deb2024-04-30 17:39 3.1M 
[ ]libcoq-quickchick_2.0.3-2_armhf.deb2024-06-07 06:42 3.1M 
[ ]libcoq-quickchick_2.0.3-2_i386.deb2024-04-30 17:39 3.1M 
[ ]libcoq-quickchick_2.0.3-2_ppc64el.deb2024-04-30 17:39 3.1M 
[ ]libcoq-quickchick_2.0.3-2_riscv64.deb2024-04-30 17:47 3.3M 
[ ]libcoq-quickchick_2.0.3-2_s390x.deb2024-06-07 06:02 3.1M 
[ ]libcoq-quickchick_2.0.3-3+b2_amd64.deb2024-08-12 00:35 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b2_arm64.deb2024-08-12 00:41 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b2_riscv64.deb2024-08-12 01:06 4.2M 
[ ]libcoq-quickchick_2.0.3-3+b2_s390x.deb2024-08-12 03:10 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b3_amd64.deb2024-08-21 03:59 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b3_arm64.deb2024-08-21 05:41 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b3_riscv64.deb2024-08-21 22:49 4.2M 
[ ]libcoq-quickchick_2.0.3-3+b3_s390x.deb2024-08-21 04:51 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b4_amd64.deb2024-08-31 01:16 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b4_arm64.deb2024-08-31 01:16 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b4_ppc64el.deb2024-08-31 00:10 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b4_riscv64.deb2024-08-31 17:12 4.2M 
[ ]libcoq-quickchick_2.0.3-3+b4_s390x.deb2024-08-31 02:11 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b5_amd64.deb2024-09-17 07:38 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b5_arm64.deb2024-09-17 07:38 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b5_ppc64el.deb2024-09-17 07:38 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b5_riscv64.deb2024-09-18 01:18 4.2M 
[ ]libcoq-quickchick_2.0.3-3+b5_s390x.deb2024-09-17 07:43 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b6_amd64.deb2024-10-13 07:49 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b6_arm64.deb2024-10-13 08:25 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b6_ppc64el.deb2024-10-13 08:45 4.1M 
[ ]libcoq-quickchick_2.0.3-3+b6_riscv64.deb2024-10-13 21:40 4.2M 
[ ]libcoq-quickchick_2.0.3-3+b6_s390x.deb2024-10-13 07:59 4.1M 
[ ]libcoq-quickchick_2.0.3-3_amd64.deb2024-08-04 15:31 3.3M 
[ ]libcoq-quickchick_2.0.3-3_arm64.deb2024-08-04 15:36 3.3M 
[ ]libcoq-quickchick_2.0.3-3_armhf.deb2024-08-04 17:47 3.3M 
[ ]libcoq-quickchick_2.0.3-3_i386.deb2024-08-04 15:51 3.3M 
[ ]libcoq-quickchick_2.0.3-3_ppc64el.deb2024-08-04 17:02 3.3M 
[ ]libcoq-quickchick_2.0.3-3_riscv64.deb2024-08-05 03:48 3.4M 
[ ]libcoq-quickchick_2.0.3-3_s390x.deb2024-08-04 20:45 3.3M 
[ ]libcoq-quickchick_2.0.4-1_amd64.deb2024-11-20 19:03 4.1M 
[ ]libcoq-quickchick_2.0.4-1_arm64.deb2024-11-20 15:15 4.1M 
[ ]libcoq-quickchick_2.0.4-1_ppc64el.deb2024-11-20 13:48 4.1M 
[ ]libcoq-quickchick_2.0.4-1_riscv64.deb2024-11-20 23:46 4.2M 
[ ]libcoq-quickchick_2.0.4-1_s390x.deb2024-11-21 18:02 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b1_amd64.deb2024-12-19 14:49 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b1_arm64.deb2024-12-19 16:31 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b1_ppc64el.deb2024-12-19 13:56 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b1_riscv64.deb2024-12-19 14:49 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b1_s390x.deb2024-12-21 21:04 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b2_amd64.deb2025-01-09 19:04 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b2_arm64.deb2025-01-09 19:04 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b2_ppc64el.deb2025-01-09 18:43 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b2_riscv64.deb2025-01-09 19:29 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b2_s390x.deb2025-01-09 19:09 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b3_amd64.deb2025-01-15 01:42 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b3_arm64.deb2025-01-15 03:14 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b3_ppc64el.deb2025-01-15 02:17 4.1M 
[ ]libcoq-quickchick_2.0.5-1+b3_riscv64.deb2025-01-15 16:12 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b3_s390x.deb2025-01-15 06:06 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b4_amd64.deb2025-01-30 03:08 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b4_arm64.deb2025-01-30 04:08 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b4_ppc64el.deb2025-01-30 02:52 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b4_riscv64.deb2025-01-30 18:59 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b4_s390x.deb2025-01-30 05:09 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b5_amd64.deb2025-02-14 01:09 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b5_arm64.deb2025-02-14 01:35 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b5_ppc64el.deb2025-02-14 01:04 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b5_riscv64.deb2025-02-14 06:23 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b5_s390x.deb2025-02-14 11:34 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b6_amd64.deb2025-02-17 21:57 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b6_arm64.deb2025-02-18 00:49 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b6_ppc64el.deb2025-02-17 20:37 4.0M 
[ ]libcoq-quickchick_2.0.5-1+b6_riscv64.deb2025-02-18 10:29 4.2M 
[ ]libcoq-quickchick_2.0.5-1+b6_s390x.deb2025-02-18 15:05 4.0M 
[ ]libcoq-quickchick_2.0.5-1_amd64.deb2024-12-18 11:38 4.1M 
[ ]libcoq-quickchick_2.0.5-1_arm64.deb2024-12-18 11:38 4.1M 
[ ]libcoq-quickchick_2.0.5-1_ppc64el.deb2024-12-18 11:43 4.1M 
[ ]libcoq-quickchick_2.0.5-1_riscv64.deb2024-12-18 12:39 4.2M 
[ ]libcoq-quickchick_2.0.5-1_s390x.deb2024-12-18 11:43 4.0M 
[ ]libcoq-quickchick_2.1.0-1+b1_amd64.deb2025-03-18 13:39 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b1_arm64.deb2025-03-18 15:12 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b1_ppc64el.deb2025-03-18 14:46 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b1_riscv64.deb2025-06-17 17:40 4.2M 
[ ]libcoq-quickchick_2.1.0-1+b1_s390x.deb2025-03-18 16:02 4.0M 
[ ]libcoq-quickchick_2.1.0-1+b2_amd64.deb2025-06-15 07:30 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b2_arm64.deb2025-06-15 07:35 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b2_ppc64el.deb2025-06-15 07:20 4.1M 
[ ]libcoq-quickchick_2.1.0-1+b2_s390x.deb2025-06-17 18:47 4.0M 
[ ]libcoq-quickchick_2.1.0-1_amd64.deb2025-03-18 08:44 4.1M 
[ ]libcoq-quickchick_2.1.0-1_arm64.deb2025-03-18 08:54 4.1M 
[ ]libcoq-quickchick_2.1.0-1_ppc64el.deb2025-03-18 08:44 4.1M 
[ ]libcoq-quickchick_2.1.0-1_riscv64.deb2025-03-19 02:31 4.2M 
[ ]libcoq-quickchick_2.1.0-1_s390x.deb2025-03-18 09:04 4.0M 
[ ]quickchick_1.6.3-1+b1_amd64.deb2022-07-26 20:59 54K 
[ ]quickchick_1.6.3-1_amd64.deb2022-07-15 18:49 54K 
[ ]quickchick_1.6.3-1_arm64.deb2022-07-18 12:42 54K 
[ ]quickchick_1.6.3-1_armhf.deb2022-07-18 13:44 54K 
[ ]quickchick_1.6.3-1_i386.deb2022-07-18 15:27 54K 
[ ]quickchick_1.6.3-1_ppc64el.deb2022-07-19 16:43 54K 
[ ]quickchick_1.6.3-1_s390x.deb2022-07-22 15:59 54K 
[ ]quickchick_1.6.3-2_amd64.deb2022-08-14 09:00 54K 
[ ]quickchick_1.6.3-2_arm64.deb2022-08-14 08:44 54K 
[ ]quickchick_1.6.3-2_armhf.deb2022-08-14 08:45 54K 
[ ]quickchick_1.6.3-2_i386.deb2022-08-14 09:15 54K 
[ ]quickchick_1.6.3-2_ppc64el.deb2022-08-14 09:40 54K 
[ ]quickchick_1.6.3-2_s390x.deb2022-08-14 11:27 54K 
[ ]quickchick_1.6.4-1_amd64.deb2022-08-15 03:13 54K 
[ ]quickchick_1.6.4-1_arm64.deb2022-08-15 03:13 54K 
[ ]quickchick_1.6.4-1_armhf.deb2022-08-15 03:13 54K 
[ ]quickchick_1.6.4-1_i386.deb2022-08-15 02:58 54K 
[ ]quickchick_1.6.4-1_ppc64el.deb2022-08-15 03:13 54K 
[ ]quickchick_1.6.4-1_s390x.deb2022-08-16 14:24 54K 
[ ]quickchick_1.6.4-2+b1_amd64.deb2022-09-29 09:27 54K 
[ ]quickchick_1.6.4-2+b1_arm64.deb2022-09-29 09:27 54K 
[ ]quickchick_1.6.4-2+b1_armhf.deb2022-09-29 09:27 54K 
[ ]quickchick_1.6.4-2+b1_i386.deb2022-09-29 09:17 54K 
[ ]quickchick_1.6.4-2+b1_ppc64el.deb2022-09-29 09:27 54K 
[ ]quickchick_1.6.4-2+b1_s390x.deb2022-09-29 09:43 54K 
[ ]quickchick_1.6.4-2+b2_amd64.deb2022-11-29 23:43 54K 
[ ]quickchick_1.6.4-2+b2_arm64.deb2022-11-29 23:27 54K 
[ ]quickchick_1.6.4-2+b2_armhf.deb2022-11-29 22:42 54K 
[ ]quickchick_1.6.4-2+b2_i386.deb2022-11-29 21:06 54K 
[ ]quickchick_1.6.4-2+b2_ppc64el.deb2022-11-29 23:43 54K 
[ ]quickchick_1.6.4-2+b2_s390x.deb2022-11-30 06:20 54K 
[ ]quickchick_1.6.4-2+b3_amd64.deb2023-01-23 22:42 54K 
[ ]quickchick_1.6.4-2+b3_arm64.deb2023-01-23 23:28 54K 
[ ]quickchick_1.6.4-2+b3_armhf.deb2023-01-23 23:13 54K 
[ ]quickchick_1.6.4-2+b3_i386.deb2023-01-23 22:42 54K 
[ ]quickchick_1.6.4-2+b3_ppc64el.deb2023-01-24 14:12 54K 
[ ]quickchick_1.6.4-2+b3_s390x.deb2023-01-23 22:57 54K 
[ ]quickchick_1.6.4-2_amd64.deb2022-09-07 04:11 54K 
[ ]quickchick_1.6.4-2_arm64.deb2022-09-07 05:11 54K 
[ ]quickchick_1.6.4-2_armhf.deb2022-09-07 05:11 54K 
[ ]quickchick_1.6.4-2_i386.deb2022-09-07 04:11 54K 
[ ]quickchick_1.6.4-2_ppc64el.deb2022-09-07 05:11 54K 
[ ]quickchick_1.6.4-2_s390x.deb2022-09-07 04:31 54K 
[ ]quickchick_1.6.4-3+b1_amd64.deb2023-02-14 01:11 54K 
[ ]quickchick_1.6.4-3+b1_arm64.deb2023-02-14 01:11 54K 
[ ]quickchick_1.6.4-3+b1_armhf.deb2023-02-14 01:11 54K 
[ ]quickchick_1.6.4-3+b1_i386.deb2023-02-14 01:16 54K 
[ ]quickchick_1.6.4-3+b1_ppc64el.deb2023-02-14 08:13 54K 
[ ]quickchick_1.6.4-3+b1_s390x.deb2023-02-14 01:26 54K 
[ ]quickchick_1.6.4-3_amd64.deb2023-01-27 02:04 54K 
[ ]quickchick_1.6.4-3_arm64.deb2023-01-27 01:59 54K 
[ ]quickchick_1.6.4-3_armhf.deb2023-01-27 01:59 54K 
[ ]quickchick_1.6.4-3_i386.deb2023-01-27 02:14 54K 
[ ]quickchick_1.6.4-3_ppc64el.deb2023-01-27 17:58 54K 
[ ]quickchick_1.6.4-3_s390x.deb2023-01-27 02:34 54K 
[ ]quickchick_2.0-1_amd64.deb2023-06-14 18:12 55K 
[ ]quickchick_2.0-1_arm64.deb2023-06-16 13:57 55K 
[ ]quickchick_2.0-1_armhf.deb2023-06-14 18:12 55K 
[ ]quickchick_2.0-1_i386.deb2023-06-14 18:12 55K 
[ ]quickchick_2.0-1_ppc64el.deb2023-06-19 21:10 55K 
[ ]quickchick_2.0-1_s390x.deb2023-06-14 17:11 55K 
[ ]quickchick_2.0-2+b1_amd64.deb2023-07-23 08:59 55K 
[ ]quickchick_2.0-2+b1_arm64.deb2023-07-23 10:26 55K 
[ ]quickchick_2.0-2+b1_armhf.deb2023-07-23 11:40 55K 
[ ]quickchick_2.0-2+b1_i386.deb2023-07-23 09:56 55K 
[ ]quickchick_2.0-2+b1_ppc64el.deb2023-07-23 09:40 55K 
[ ]quickchick_2.0-2+b1_riscv64.deb2023-09-24 07:14 57K 
[ ]quickchick_2.0-2+b1_s390x.deb2023-07-23 18:59 55K 
[ ]quickchick_2.0-2+b2_amd64.deb2023-09-22 09:54 57K 
[ ]quickchick_2.0-2+b2_arm64.deb2023-09-22 09:59 57K 
[ ]quickchick_2.0-2+b2_armhf.deb2023-09-22 09:43 57K 
[ ]quickchick_2.0-2+b2_i386.deb2023-09-22 09:43 57K 
[ ]quickchick_2.0-2+b2_ppc64el.deb2023-09-22 10:44 57K 
[ ]quickchick_2.0-2+b2_s390x.deb2023-09-22 10:29 57K 
[ ]quickchick_2.0-2_amd64.deb2023-07-12 06:28 55K 
[ ]quickchick_2.0-2_arm64.deb2023-07-12 07:44 55K 
[ ]quickchick_2.0-2_armhf.deb2023-07-12 06:28 55K 
[ ]quickchick_2.0-2_i386.deb2023-07-12 06:13 55K 
[ ]quickchick_2.0-2_ppc64el.deb2023-07-12 06:28 55K 
[ ]quickchick_2.0-2_riscv64.deb2023-09-05 17:05 55K 
[ ]quickchick_2.0-2_s390x.deb2023-07-12 06:33 55K 
[ ]quickchick_2.0.1-1_amd64.deb2023-12-25 06:48 57K 
[ ]quickchick_2.0.1-1_arm64.deb2023-12-25 06:48 57K 
[ ]quickchick_2.0.1-1_armhf.deb2023-12-31 18:52 57K 
[ ]quickchick_2.0.1-1_i386.deb2023-12-25 06:48 57K 
[ ]quickchick_2.0.1-1_ppc64el.deb2023-12-25 06:48 57K 
[ ]quickchick_2.0.1-1_riscv64.deb2024-01-03 23:54 57K 
[ ]quickchick_2.0.1-1_s390x.deb2023-12-31 18:37 57K 
[ ]quickchick_2.0.2-1+b1_amd64.deb2024-02-16 10:04 57K 
[ ]quickchick_2.0.2-1+b1_arm64.deb2024-02-16 12:36 57K 
[ ]quickchick_2.0.2-1+b1_armhf.deb2024-02-16 09:09 57K 
[ ]quickchick_2.0.2-1+b1_i386.deb2024-02-16 10:04 57K 
[ ]quickchick_2.0.2-1+b1_ppc64el.deb2024-02-16 10:20 57K 
[ ]quickchick_2.0.2-1+b1_riscv64.deb2024-02-17 20:33 57K 
[ ]quickchick_2.0.2-1+b1_s390x.deb2024-02-16 09:59 57K 
[ ]quickchick_2.0.2-1+b2_amd64.deb2024-03-20 00:55 57K 
[ ]quickchick_2.0.2-1+b2_arm64.deb2024-03-20 01:32 57K 
[ ]quickchick_2.0.2-1+b2_armhf.deb2024-03-31 19:29 57K 
[ ]quickchick_2.0.2-1+b2_i386.deb2024-03-19 23:26 57K 
[ ]quickchick_2.0.2-1+b2_ppc64el.deb2024-03-20 00:55 57K 
[ ]quickchick_2.0.2-1+b2_riscv64.deb2024-04-12 01:30 57K 
[ ]quickchick_2.0.2-1+b2_s390x.deb2024-03-20 09:02 57K 
[ ]quickchick_2.0.2-1+b3_amd64.deb2024-04-29 12:20 57K 
[ ]quickchick_2.0.2-1+b3_arm64.deb2024-04-29 12:20 57K 
[ ]quickchick_2.0.2-1+b3_i386.deb2024-04-29 12:20 57K 
[ ]quickchick_2.0.2-1+b3_ppc64el.deb2024-04-29 12:36 57K 
[ ]quickchick_2.0.2-1_amd64.deb2024-01-20 15:28 57K 
[ ]quickchick_2.0.2-1_arm64.deb2024-01-20 15:33 57K 
[ ]quickchick_2.0.2-1_armhf.deb2024-01-20 15:33 57K 
[ ]quickchick_2.0.2-1_i386.deb2024-01-20 15:23 57K 
[ ]quickchick_2.0.2-1_ppc64el.deb2024-01-20 15:28 57K 
[ ]quickchick_2.0.2-1_riscv64.deb2024-01-20 15:38 57K 
[ ]quickchick_2.0.2-1_s390x.deb2024-01-20 16:40 57K 
[ ]quickchick_2.0.3-2+b1_amd64.deb2024-06-04 19:37 401K 
[ ]quickchick_2.0.3-2+b1_arm64.deb2024-06-05 06:21 442K 
[ ]quickchick_2.0.3-2+b1_armhf.deb2024-06-15 09:17 377K 
[ ]quickchick_2.0.3-2+b1_i386.deb2024-06-04 19:37 394K 
[ ]quickchick_2.0.3-2+b1_ppc64el.deb2024-06-07 07:38 423K 
[ ]quickchick_2.0.3-2+b1_riscv64.deb2024-06-05 10:59 410K 
[ ]quickchick_2.0.3-2+b1_s390x.deb2024-06-15 20:38 404K 
[ ]quickchick_2.0.3-2+b2_amd64.deb2024-06-15 09:06 402K 
[ ]quickchick_2.0.3-2+b2_arm64.deb2024-06-15 11:18 446K 
[ ]quickchick_2.0.3-2+b2_i386.deb2024-06-15 09:07 394K 
[ ]quickchick_2.0.3-2+b2_ppc64el.deb2024-06-15 09:07 423K 
[ ]quickchick_2.0.3-2+b2_riscv64.deb2024-06-15 20:58 410K 
[ ]quickchick_2.0.3-2_amd64.deb2024-04-30 17:39 402K 
[ ]quickchick_2.0.3-2_arm64.deb2024-04-30 17:39 445K 
[ ]quickchick_2.0.3-2_armhf.deb2024-06-07 06:42 377K 
[ ]quickchick_2.0.3-2_i386.deb2024-04-30 17:39 394K 
[ ]quickchick_2.0.3-2_ppc64el.deb2024-04-30 17:39 422K 
[ ]quickchick_2.0.3-2_riscv64.deb2024-04-30 17:47 410K 
[ ]quickchick_2.0.3-2_s390x.deb2024-06-07 06:02 403K 
[ ]quickchick_2.0.3-3+b2_amd64.deb2024-08-12 00:35 469K 
[ ]quickchick_2.0.3-3+b2_arm64.deb2024-08-12 00:41 513K 
[ ]quickchick_2.0.3-3+b2_riscv64.deb2024-08-12 01:06 488K 
[ ]quickchick_2.0.3-3+b2_s390x.deb2024-08-12 03:10 477K 
[ ]quickchick_2.0.3-3+b3_amd64.deb2024-08-21 03:59 470K 
[ ]quickchick_2.0.3-3+b3_arm64.deb2024-08-21 05:41 513K 
[ ]quickchick_2.0.3-3+b3_riscv64.deb2024-08-21 22:49 488K 
[ ]quickchick_2.0.3-3+b3_s390x.deb2024-08-21 04:51 477K 
[ ]quickchick_2.0.3-3+b4_amd64.deb2024-08-31 01:16 471K 
[ ]quickchick_2.0.3-3+b4_arm64.deb2024-08-31 01:16 513K 
[ ]quickchick_2.0.3-3+b4_ppc64el.deb2024-08-31 00:10 488K 
[ ]quickchick_2.0.3-3+b4_riscv64.deb2024-08-31 17:12 488K 
[ ]quickchick_2.0.3-3+b4_s390x.deb2024-08-31 02:11 475K 
[ ]quickchick_2.0.3-3+b5_amd64.deb2024-09-17 07:38 470K 
[ ]quickchick_2.0.3-3+b5_arm64.deb2024-09-17 07:38 513K 
[ ]quickchick_2.0.3-3+b5_ppc64el.deb2024-09-17 07:38 486K 
[ ]quickchick_2.0.3-3+b5_riscv64.deb2024-09-18 01:18 489K 
[ ]quickchick_2.0.3-3+b5_s390x.deb2024-09-17 07:43 474K 
[ ]quickchick_2.0.3-3+b6_amd64.deb2024-10-13 07:49 472K 
[ ]quickchick_2.0.3-3+b6_arm64.deb2024-10-13 08:25 512K 
[ ]quickchick_2.0.3-3+b6_ppc64el.deb2024-10-13 08:45 486K 
[ ]quickchick_2.0.3-3+b6_riscv64.deb2024-10-13 21:40 487K 
[ ]quickchick_2.0.3-3+b6_s390x.deb2024-10-13 07:59 475K 
[ ]quickchick_2.0.3-3_amd64.deb2024-08-04 15:31 402K 
[ ]quickchick_2.0.3-3_arm64.deb2024-08-04 15:36 443K 
[ ]quickchick_2.0.3-3_armhf.deb2024-08-04 17:47 377K 
[ ]quickchick_2.0.3-3_i386.deb2024-08-04 15:51 394K 
[ ]quickchick_2.0.3-3_ppc64el.deb2024-08-04 17:02 423K 
[ ]quickchick_2.0.3-3_riscv64.deb2024-08-05 03:48 410K 
[ ]quickchick_2.0.3-3_s390x.deb2024-08-04 20:45 405K 
[ ]quickchick_2.0.4-1_amd64.deb2024-11-20 19:03 469K 
[ ]quickchick_2.0.4-1_arm64.deb2024-11-20 15:15 513K 
[ ]quickchick_2.0.4-1_ppc64el.deb2024-11-20 13:48 486K 
[ ]quickchick_2.0.4-1_riscv64.deb2024-11-20 23:46 487K 
[ ]quickchick_2.0.4-1_s390x.deb2024-11-21 18:02 475K 
[ ]quickchick_2.0.5-1+b1_amd64.deb2024-12-19 14:49 470K 
[ ]quickchick_2.0.5-1+b1_arm64.deb2024-12-19 16:31 514K 
[ ]quickchick_2.0.5-1+b1_ppc64el.deb2024-12-19 13:56 486K 
[ ]quickchick_2.0.5-1+b1_riscv64.deb2024-12-19 14:49 488K 
[ ]quickchick_2.0.5-1+b1_s390x.deb2024-12-21 21:04 476K 
[ ]quickchick_2.0.5-1+b2_amd64.deb2025-01-09 19:04 470K 
[ ]quickchick_2.0.5-1+b2_arm64.deb2025-01-09 19:04 513K 
[ ]quickchick_2.0.5-1+b2_ppc64el.deb2025-01-09 18:43 487K 
[ ]quickchick_2.0.5-1+b2_riscv64.deb2025-01-09 19:29 489K 
[ ]quickchick_2.0.5-1+b2_s390x.deb2025-01-09 19:09 476K 
[ ]quickchick_2.0.5-1+b3_amd64.deb2025-01-15 01:42 469K 
[ ]quickchick_2.0.5-1+b3_arm64.deb2025-01-15 03:14 513K 
[ ]quickchick_2.0.5-1+b3_ppc64el.deb2025-01-15 02:17 487K 
[ ]quickchick_2.0.5-1+b3_riscv64.deb2025-01-15 16:12 489K 
[ ]quickchick_2.0.5-1+b3_s390x.deb2025-01-15 06:06 477K 
[ ]quickchick_2.0.5-1+b4_amd64.deb2025-01-30 03:08 480K 
[ ]quickchick_2.0.5-1+b4_arm64.deb2025-01-30 04:08 523K 
[ ]quickchick_2.0.5-1+b4_ppc64el.deb2025-01-30 02:52 499K 
[ ]quickchick_2.0.5-1+b4_riscv64.deb2025-01-30 18:59 499K 
[ ]quickchick_2.0.5-1+b4_s390x.deb2025-01-30 05:09 487K 
[ ]quickchick_2.0.5-1+b5_amd64.deb2025-02-14 01:09 480K 
[ ]quickchick_2.0.5-1+b5_arm64.deb2025-02-14 01:35 523K 
[ ]quickchick_2.0.5-1+b5_ppc64el.deb2025-02-14 01:04 500K 
[ ]quickchick_2.0.5-1+b5_riscv64.deb2025-02-14 06:23 499K 
[ ]quickchick_2.0.5-1+b5_s390x.deb2025-02-14 11:34 487K 
[ ]quickchick_2.0.5-1+b6_amd64.deb2025-02-17 21:57 481K 
[ ]quickchick_2.0.5-1+b6_arm64.deb2025-02-18 00:49 525K 
[ ]quickchick_2.0.5-1+b6_ppc64el.deb2025-02-17 20:37 499K 
[ ]quickchick_2.0.5-1+b6_riscv64.deb2025-02-18 10:29 501K 
[ ]quickchick_2.0.5-1+b6_s390x.deb2025-02-18 15:05 486K 
[ ]quickchick_2.0.5-1_amd64.deb2024-12-18 11:38 469K 
[ ]quickchick_2.0.5-1_arm64.deb2024-12-18 11:38 513K 
[ ]quickchick_2.0.5-1_ppc64el.deb2024-12-18 11:43 486K 
[ ]quickchick_2.0.5-1_riscv64.deb2024-12-18 12:39 488K 
[ ]quickchick_2.0.5-1_s390x.deb2024-12-18 11:43 477K 
[ ]quickchick_2.1.0-1+b1_amd64.deb2025-03-18 13:39 481K 
[ ]quickchick_2.1.0-1+b1_arm64.deb2025-03-18 15:12 523K 
[ ]quickchick_2.1.0-1+b1_ppc64el.deb2025-03-18 14:46 500K 
[ ]quickchick_2.1.0-1+b1_riscv64.deb2025-06-17 17:40 500K 
[ ]quickchick_2.1.0-1+b1_s390x.deb2025-03-18 16:02 486K 
[ ]quickchick_2.1.0-1+b2_amd64.deb2025-06-15 07:30 481K 
[ ]quickchick_2.1.0-1+b2_arm64.deb2025-06-15 07:35 524K 
[ ]quickchick_2.1.0-1+b2_ppc64el.deb2025-06-15 07:20 499K 
[ ]quickchick_2.1.0-1+b2_s390x.deb2025-06-17 18:47 486K 
[ ]quickchick_2.1.0-1_amd64.deb2025-03-18 08:44 481K 
[ ]quickchick_2.1.0-1_arm64.deb2025-03-18 08:54 523K 
[ ]quickchick_2.1.0-1_ppc64el.deb2025-03-18 08:44 501K 
[ ]quickchick_2.1.0-1_riscv64.deb2025-03-19 02:31 500K 
[ ]quickchick_2.1.0-1_s390x.deb2025-03-18 09:04 486K