Index of /buildinfo-pool/c/coq-quickchick

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-quickchick_1.6.4-1_source.buildinfo2022-08-15 06:38 7.1K 
[ ]coq-quickchick_1.6.3-2_source.buildinfo2022-08-14 10:04 7.1K 
[ ]coq-quickchick_1.6.4-2_source.buildinfo2022-09-06 09:09 7.1K 
[ ]coq-quickchick_1.6.3-2_armhf.buildinfo2022-08-14 12:45 7.2K 
[ ]coq-quickchick_1.6.4-1_armhf.buildinfo2022-08-15 07:13 7.2K 
[ ]coq-quickchick_2.0-1_armhf.buildinfo2023-06-14 22:12 7.2K 
[ ]coq-quickchick_1.6.3-1_armhf.buildinfo2022-07-18 17:44 7.3K 
[ ]coq-quickchick_1.6.4-1_s390x.buildinfo2022-08-16 18:24 7.3K 
[ ]coq-quickchick_1.6.3-2_s390x.buildinfo2022-08-14 15:27 7.3K 
[ ]coq-quickchick_1.6.4-2_armhf.buildinfo2022-09-07 09:11 7.3K 
[ ]coq-quickchick_2.0-1_s390x.buildinfo2023-06-14 21:11 7.3K 
[ ]coq-quickchick_1.6.3-1_s390x.buildinfo2022-07-22 19:59 7.3K 
[ ]coq-quickchick_1.6.4-2_s390x.buildinfo2022-09-07 08:31 7.3K 
[ ]coq-quickchick_2.0-2_riscv64.buildinfo2023-09-05 21:05 7.3K 
[ ]coq-quickchick_1.6.4-3_armhf.buildinfo2023-01-27 06:59 7.3K 
[ ]coq-quickchick_2.0-1_i386.buildinfo2023-06-14 22:12 7.3K 
[ ]coq-quickchick_1.6.3-2_i386.buildinfo2022-08-14 13:15 7.3K 
[ ]coq-quickchick_1.6.3-1_i386.buildinfo2022-07-18 19:27 7.3K 
[ ]coq-quickchick_1.6.4-1_i386.buildinfo2022-08-15 06:58 7.3K 
[ ]coq-quickchick_1.6.4-2_i386.buildinfo2022-09-07 08:11 7.3K 
[ ]coq-quickchick_1.6.4-3_s390x.buildinfo2023-01-27 07:34 7.3K 
[ ]coq-quickchick_2.0-2_armhf.buildinfo2023-07-12 10:28 7.4K 
[ ]coq-quickchick_1.6.3-2_ppc64el.buildinfo2022-08-14 13:40 7.4K 
[ ]coq-quickchick_1.6.4-3_i386.buildinfo2023-01-27 07:14 7.4K 
[ ]coq-quickchick_1.6.4-1_ppc64el.buildinfo2022-08-15 07:13 7.4K 
[ ]coq-quickchick_1.6.3-2_arm64.buildinfo2022-08-14 12:44 7.4K 
[ ]coq-quickchick_1.6.3-2_amd64.buildinfo2022-08-14 13:00 7.4K 
[ ]coq-quickchick_2.0-1_amd64.buildinfo2023-06-14 22:12 7.4K 
[ ]coq-quickchick_1.6.3-1_ppc64el.buildinfo2022-07-19 20:43 7.4K 
[ ]coq-quickchick_1.6.4-1_arm64.buildinfo2022-08-15 07:13 7.4K 
[ ]coq-quickchick_2.0-1_arm64.buildinfo2023-06-16 17:57 7.4K 
[ ]coq-quickchick_1.6.4-1_amd64.buildinfo2022-08-15 07:13 7.4K 
[ ]coq-quickchick_1.6.3-1_arm64.buildinfo2022-07-18 16:42 7.4K 
[ ]coq-quickchick_1.6.4-2_ppc64el.buildinfo2022-09-07 09:11 7.4K 
[ ]coq-quickchick_1.6.4-2_arm64.buildinfo2022-09-07 09:11 7.4K 
[ ]coq-quickchick_1.6.4-2_amd64.buildinfo2022-09-07 08:11 7.4K 
[ ]coq-quickchick_2.0-2_s390x.buildinfo2023-07-12 10:33 7.4K 
[ ]coq-quickchick_1.6.4-3_arm64.buildinfo2023-01-27 06:59 7.4K 
[ ]coq-quickchick_1.6.4-3_ppc64el.buildinfo2023-01-27 22:58 7.4K 
[ ]coq-quickchick_2.0-2_i386.buildinfo2023-07-12 10:13 7.4K 
[ ]coq-quickchick_1.6.4-3_amd64.buildinfo2023-01-27 07:04 7.4K 
[ ]coq-quickchick_2.0-1_ppc64el.buildinfo2023-06-20 01:10 7.4K 
[ ]coq-quickchick_2.0-2_ppc64el.buildinfo2023-07-12 10:28 7.5K 
[ ]coq-quickchick_2.0-2_amd64.buildinfo2023-07-12 10:28 7.5K 
[ ]coq-quickchick_2.0-2_arm64.buildinfo2023-07-12 11:44 7.5K 
[ ]coq-quickchick_1.6.4-3_source.buildinfo2023-01-27 06:18 7.5K 
[ ]coq-quickchick_2.0-1_source.buildinfo2023-06-14 13:57 7.5K 
[ ]coq-quickchick_1.6.4-3+b1_armhf.buildinfo2023-02-14 06:11 7.6K 
[ ]coq-quickchick_1.6.4-3+b1_s390x.buildinfo2023-02-14 06:26 7.6K 
[ ]coq-quickchick_1.6.4-2+b1_armhf.buildinfo2022-09-29 13:27 7.6K 
[ ]coq-quickchick_1.6.4-2+b3_armhf.buildinfo2023-01-24 04:13 7.6K 
[ ]coq-quickchick_1.6.4-2+b1_s390x.buildinfo2022-09-29 13:43 7.7K 
[ ]coq-quickchick_1.6.4-2+b3_s390x.buildinfo2023-01-24 03:57 7.7K 
[ ]coq-quickchick_1.6.4-2+b2_armhf.buildinfo2022-11-30 03:42 7.7K 
[ ]coq-quickchick_2.0-2+b1_riscv64.buildinfo2023-09-24 11:14 7.7K 
[ ]coq-quickchick_1.6.4-3+b1_i386.buildinfo2023-02-14 06:16 7.7K 
[ ]coq-quickchick_2.0-2+b2_armhf.buildinfo2023-09-22 13:43 7.7K 
[ ]coq-quickchick_2.0-2+b1_armhf.buildinfo2023-07-23 15:40 7.7K 
[ ]coq-quickchick_1.6.3-1+b1_amd64.buildinfo2022-07-27 00:59 7.7K 
[ ]coq-quickchick_2.0-2+b2_s390x.buildinfo2023-09-22 14:29 7.7K 
[ ]coq-quickchick_1.6.4-2+b2_s390x.buildinfo2022-11-30 11:20 7.7K 
[ ]coq-quickchick_2.0-2+b1_s390x.buildinfo2023-07-23 22:59 7.7K 
[ ]coq-quickchick_1.6.4-2+b1_i386.buildinfo2022-09-29 13:17 7.7K 
[ ]coq-quickchick_1.6.4-2+b3_i386.buildinfo2023-01-24 03:42 7.7K 
[ ]coq-quickchick_1.6.4-3+b1_arm64.buildinfo2023-02-14 06:11 7.7K 
[ ]coq-quickchick_2.0.4-1_source.buildinfo2024-11-20 10:07 7.7K 
[ ]coq-quickchick_1.6.4-3+b1_amd64.buildinfo2023-02-14 06:11 7.7K 
[ ]coq-quickchick_1.6.4-3+b1_ppc64el.buildinfo2023-02-14 13:13 7.7K 
[ ]coq-quickchick_2.0-2+b2_i386.buildinfo2023-09-22 13:43 7.7K 
[ ]coq-quickchick_1.6.4-2+b2_i386.buildinfo2022-11-30 02:06 7.7K 
[ ]coq-quickchick_1.6.4-2+b1_arm64.buildinfo2022-09-29 13:27 7.7K 
[ ]coq-quickchick_1.6.4-2+b1_amd64.buildinfo2022-09-29 13:27 7.8K 
[ ]coq-quickchick_1.6.4-2+b3_arm64.buildinfo2023-01-24 04:28 7.8K 
[ ]coq-quickchick_1.6.4-2+b1_ppc64el.buildinfo2022-09-29 13:27 7.8K 
[ ]coq-quickchick_2.0-2+b1_i386.buildinfo2023-07-23 13:56 7.8K 
[ ]coq-quickchick_1.6.4-2+b2_arm64.buildinfo2022-11-30 04:27 7.8K 
[ ]coq-quickchick_1.6.4-2+b3_amd64.buildinfo2023-01-24 03:42 7.8K 
[ ]coq-quickchick_1.6.4-2+b3_ppc64el.buildinfo2023-01-24 19:12 7.8K 
[ ]coq-quickchick_2.0-2+b2_arm64.buildinfo2023-09-22 13:59 7.8K 
[ ]coq-quickchick_1.6.4-2+b2_amd64.buildinfo2022-11-30 04:43 7.8K 
[ ]coq-quickchick_1.6.4-2+b2_ppc64el.buildinfo2022-11-30 04:43 7.8K 
[ ]coq-quickchick_2.0-2+b2_ppc64el.buildinfo2023-09-22 14:44 7.8K 
[ ]coq-quickchick_2.0-2+b1_arm64.buildinfo2023-07-23 14:26 7.8K 
[ ]coq-quickchick_1.6.3-1_amd64-source.buildinfo2022-07-15 22:49 7.8K 
[ ]coq-quickchick_2.0-2+b1_ppc64el.buildinfo2023-07-23 13:40 7.8K 
[ ]coq-quickchick_2.0-2+b2_amd64.buildinfo2023-09-22 13:54 7.8K 
[ ]coq-quickchick_2.0-2+b1_amd64.buildinfo2023-07-23 12:59 7.9K 
[ ]coq-quickchick_2.0.3-3_s390x.buildinfo2024-08-05 00:45 7.9K 
[ ]coq-quickchick_2.0.3-3_armhf.buildinfo2024-08-04 21:47 7.9K 
[ ]coq-quickchick_2.0.3-2_armhf.buildinfo2024-06-07 10:42 7.9K 
[ ]coq-quickchick_2.0.3-2_s390x.buildinfo2024-06-07 10:02 7.9K 
[ ]coq-quickchick_2.0.3-3_i386.buildinfo2024-08-04 19:51 7.9K 
[ ]coq-quickchick_2.0.2-1_riscv64.buildinfo2024-01-20 20:38 7.9K 
[ ]coq-quickchick_2.1.0-1_s390x.buildinfo2025-03-18 13:04 7.9K 
[ ]coq-quickchick_2.0.1-1_riscv64.buildinfo2024-01-04 04:54 7.9K 
[ ]coq-quickchick_2.0.1-1_armhf.buildinfo2023-12-31 23:52 8.0K 
[ ]coq-quickchick_2.0.3-3_arm64.buildinfo2024-08-04 19:36 8.0K 
[ ]coq-quickchick_2.0.1-1_s390x.buildinfo2023-12-31 23:37 8.0K 
[ ]coq-quickchick_2.0.3-3_riscv64.buildinfo2024-08-05 07:48 8.0K 
[ ]coq-quickchick_2.1.0-1_riscv64.buildinfo2025-03-19 06:31 8.0K 
[ ]coq-quickchick_2.0.2-1_armhf.buildinfo2024-01-20 20:33 8.0K 
[ ]coq-quickchick_2.0.3-3_amd64.buildinfo2024-08-04 19:31 8.0K 
[ ]coq-quickchick_2.0.3-3_ppc64el.buildinfo2024-08-04 21:02 8.0K 
[ ]coq-quickchick_2.0.2-1_s390x.buildinfo2024-01-20 21:40 8.1K 
[ ]coq-quickchick_2.0.1-1_i386.buildinfo2023-12-25 11:48 8.1K 
[ ]coq-quickchick_2.1.0-1_arm64.buildinfo2025-03-18 12:54 8.1K 
[ ]coq-quickchick_2.1.0-1_amd64.buildinfo2025-03-18 12:44 8.1K 
[ ]coq-quickchick_2.0.2-1_amd64.buildinfo2024-01-20 20:28 8.1K 
[ ]coq-quickchick_2.1.0-1_ppc64el.buildinfo2025-03-18 12:44 8.1K 
[ ]coq-quickchick_2.0.1-1_ppc64el.buildinfo2023-12-25 11:48 8.1K 
[ ]coq-quickchick_2.0.1-1_arm64.buildinfo2023-12-25 11:48 8.1K 
[ ]coq-quickchick_2.0.2-1_i386.buildinfo2024-01-20 20:23 8.1K 
[ ]coq-quickchick_2.0.1-1_amd64.buildinfo2023-12-25 11:48 8.1K 
[ ]coq-quickchick_2.0.2-1_ppc64el.buildinfo2024-01-20 20:28 8.2K 
[ ]coq-quickchick_2.0.2-1_arm64.buildinfo2024-01-20 20:33 8.2K 
[ ]coq-quickchick_2.0.3-2_i386.buildinfo2024-04-30 21:39 8.2K 
[ ]coq-quickchick_2.0.3-2_riscv64.buildinfo2024-04-30 21:47 8.2K 
[ ]coq-quickchick_2.0.3-2+b1_s390x.buildinfo2024-06-16 00:38 8.3K 
[ ]coq-quickchick_2.0.4-1_s390x.buildinfo2024-11-21 23:02 8.3K 
[ ]coq-quickchick_2.0.3-2+b1_armhf.buildinfo2024-06-15 13:17 8.3K 
[ ]coq-quickchick_2.0.2-1+b2_s390x.buildinfo2024-03-20 13:02 8.3K 
[ ]coq-quickchick_2.0.2-1+b3_i386.buildinfo2024-04-29 16:20 8.3K 
[ ]coq-quickchick_2.1.0-1+b1_s390x.buildinfo2025-03-18 20:02 8.3K 
[ ]coq-quickchick_2.0.3-2_arm64.buildinfo2024-04-30 21:39 8.3K 
[ ]coq-quickchick_2.0.3-2+b2_i386.buildinfo2024-06-15 13:07 8.3K 
[ ]coq-quickchick_2.0.5-1+b6_s390x.buildinfo2025-02-18 20:05 8.3K 
[ ]coq-quickchick_2.0.3-2+b2_riscv64.buildinfo2024-06-16 00:58 8.3K 
[ ]coq-quickchick_2.0.5-1+b5_s390x.buildinfo2025-02-14 16:34 8.3K 
[ ]coq-quickchick_2.0.5-1_s390x.buildinfo2024-12-18 16:43 8.3K 
[ ]coq-quickchick_2.0.3-2_amd64.buildinfo2024-04-30 21:39 8.3K 
[ ]coq-quickchick_2.0.5-1+b2_s390x.buildinfo2025-01-10 00:09 8.3K 
[ ]coq-quickchick_2.0.2-1+b2_riscv64.buildinfo2024-04-12 05:30 8.3K 
[ ]coq-quickchick_2.0.2-1+b2_armhf.buildinfo2024-03-31 23:29 8.3K 
[ ]coq-quickchick_2.0.3-2_ppc64el.buildinfo2024-04-30 21:39 8.3K 
[ ]coq-quickchick_2.0.3-2+b1_i386.buildinfo2024-06-04 23:37 8.3K 
[ ]coq-quickchick_2.0.5-1+b3_s390x.buildinfo2025-01-15 11:06 8.3K 
[ ]coq-quickchick_2.0.3-2+b1_riscv64.buildinfo2024-06-05 14:59 8.3K 
[ ]coq-quickchick_2.0.2-1+b2_i386.buildinfo2024-03-20 03:26 8.3K 
[ ]coq-quickchick_2.1.0-1_amd64-source.buildinfo2025-03-18 12:33 8.4K 
[ ]coq-quickchick_2.0.2-1+b3_arm64.buildinfo2024-04-29 16:20 8.4K 
[ ]coq-quickchick_2.0.4-1_riscv64.buildinfo2024-11-21 04:46 8.4K 
[ ]coq-quickchick_2.0.3-2+b2_arm64.buildinfo2024-06-15 15:18 8.4K 
[ ]coq-quickchick_2.0.3-2+b1_arm64.buildinfo2024-06-05 10:21 8.4K 
[ ]coq-quickchick_2.0.4-1_amd64.buildinfo2024-11-21 00:03 8.4K 
[ ]coq-quickchick_2.0.2-1+b3_amd64.buildinfo2024-04-29 16:20 8.4K 
[ ]coq-quickchick_2.0.2-1+b3_ppc64el.buildinfo2024-04-29 16:36 8.4K 
[ ]coq-quickchick_2.0.3-2+b2_amd64.buildinfo2024-06-15 13:06 8.4K 
[ ]coq-quickchick_2.0.4-1_ppc64el.buildinfo2024-11-20 18:48 8.4K 
[ ]coq-quickchick_2.0.4-1_arm64.buildinfo2024-11-20 20:15 8.4K 
[ ]coq-quickchick_2.0.5-1+b6_riscv64.buildinfo2025-02-18 15:29 8.4K 
[ ]coq-quickchick_2.0.5-1_riscv64.buildinfo2024-12-18 17:39 8.4K 
[ ]coq-quickchick_2.0.2-1+b2_arm64.buildinfo2024-03-20 05:32 8.4K 
[ ]coq-quickchick_2.1.0-1+b1_arm64.buildinfo2025-03-18 19:12 8.4K 
[ ]coq-quickchick_2.0.3-2+b2_ppc64el.buildinfo2024-06-15 13:07 8.4K 
[ ]coq-quickchick_2.0.3-2+b1_amd64.buildinfo2024-06-04 23:37 8.4K 
[ ]coq-quickchick_2.0.5-1+b5_riscv64.buildinfo2025-02-14 11:23 8.4K 
[ ]coq-quickchick_2.0.5-1+b6_arm64.buildinfo2025-02-18 05:49 8.4K 
[ ]coq-quickchick_2.0.2-1+b2_amd64.buildinfo2024-03-20 04:55 8.4K 
[ ]coq-quickchick_2.1.0-1+b1_amd64.buildinfo2025-03-18 17:39 8.4K 
[ ]coq-quickchick_2.0.5-1_amd64.buildinfo2024-12-18 16:38 8.4K 
[ ]coq-quickchick_2.0.5-1+b6_amd64.buildinfo2025-02-18 02:57 8.4K 
[ ]coq-quickchick_2.0.5-1+b5_arm64.buildinfo2025-02-14 06:35 8.4K 
[ ]coq-quickchick_2.0.5-1+b2_riscv64.buildinfo2025-01-10 00:29 8.4K 
[ ]coq-quickchick_2.0.5-1_arm64.buildinfo2024-12-18 16:38 8.4K 
[ ]coq-quickchick_2.0.2-1+b2_ppc64el.buildinfo2024-03-20 04:55 8.5K 
[ ]coq-quickchick_2.0.5-1+b3_riscv64.buildinfo2025-01-15 21:12 8.5K 
[ ]coq-quickchick_2.0.3-2+b1_ppc64el.buildinfo2024-06-07 11:38 8.5K 
[ ]coq-quickchick_2.1.0-1+b1_ppc64el.buildinfo2025-03-18 18:46 8.5K 
[ ]coq-quickchick_2.0.3-3+b2_s390x.buildinfo2024-08-12 07:10 8.5K 
[ ]coq-quickchick_2.0.5-1_ppc64el.buildinfo2024-12-18 16:43 8.5K 
[ ]coq-quickchick_2.0.5-1+b4_s390x.buildinfo2025-01-30 10:09 8.5K 
[ ]coq-quickchick_2.0.5-1+b6_ppc64el.buildinfo2025-02-18 01:37 8.5K 
[ ]coq-quickchick_2.0.5-1+b2_arm64.buildinfo2025-01-10 00:04 8.5K 
[ ]coq-quickchick_2.0.5-1+b5_amd64.buildinfo2025-02-14 06:09 8.5K 
[ ]coq-quickchick_2.0.1-1_source.buildinfo2023-12-22 11:07 8.5K 
[ ]coq-quickchick_2.0.5-1+b3_arm64.buildinfo2025-01-15 08:14 8.5K 
[ ]coq-quickchick_2.0.5-1+b5_ppc64el.buildinfo2025-02-14 06:04 8.5K 
[ ]coq-quickchick_2.0.3-3+b3_s390x.buildinfo2024-08-21 08:51 8.5K 
[ ]coq-quickchick_2.0.5-1+b2_ppc64el.buildinfo2025-01-09 23:43 8.5K 
[ ]coq-quickchick_2.0.5-1+b2_amd64.buildinfo2025-01-10 00:04 8.5K 
[ ]coq-quickchick_2.0.5-1+b3_amd64.buildinfo2025-01-15 06:42 8.5K 
[ ]coq-quickchick_2.0.5-1+b3_ppc64el.buildinfo2025-01-15 07:17 8.5K 
[ ]coq-quickchick_2.0.5-1+b4_riscv64.buildinfo2025-01-30 23:59 8.5K 
[ ]coq-quickchick_2.0.3-3+b4_s390x.buildinfo2024-08-31 06:11 8.5K 
[ ]coq-quickchick_2.0.3-3+b5_s390x.buildinfo2024-09-17 11:43 8.5K 
[ ]coq-quickchick_2.0.2-1+b1_armhf.buildinfo2024-02-16 14:09 8.5K 
[ ]coq-quickchick_2.0.2-1+b1_s390x.buildinfo2024-02-16 14:59 8.5K 
[ ]coq-quickchick_2.0.2-1+b1_riscv64.buildinfo2024-02-18 01:33 8.5K 
[ ]coq-quickchick_2.0.3-3+b6_s390x.buildinfo2024-10-13 11:59 8.5K 
[ ]coq-quickchick_2.0.2-1_source.buildinfo2024-01-20 19:21 8.5K 
[ ]coq-quickchick_2.0.3-3+b2_arm64.buildinfo2024-08-12 04:41 8.6K 
[ ]coq-quickchick_2.0.2-1+b1_i386.buildinfo2024-02-16 15:04 8.6K 
[ ]coq-quickchick_2.0.3-3+b2_riscv64.buildinfo2024-08-12 05:06 8.6K 
[ ]coq-quickchick_2.0.3-3+b3_arm64.buildinfo2024-08-21 09:41 8.6K 
[ ]coq-quickchick_2.0.3-3+b2_amd64.buildinfo2024-08-12 04:35 8.6K 
[ ]coq-quickchick_2.0.5-1+b4_arm64.buildinfo2025-01-30 09:08 8.6K 
[ ]coq-quickchick_2.0.3-3+b4_arm64.buildinfo2024-08-31 05:16 8.6K 
[ ]coq-quickchick_2.0.3-3+b3_riscv64.buildinfo2024-08-22 02:49 8.6K 
[ ]coq-quickchick_2.0.3-3+b4_riscv64.buildinfo2024-08-31 21:12 8.6K 
[ ]coq-quickchick_2.0.3-3+b5_riscv64.buildinfo2024-09-18 05:18 8.6K 
[ ]coq-quickchick_2.0.3-3+b5_arm64.buildinfo2024-09-17 11:38 8.6K 
[ ]coq-quickchick_2.0.3-3+b3_amd64.buildinfo2024-08-21 07:59 8.6K 
[ ]coq-quickchick_2.0.5-1+b4_amd64.buildinfo2025-01-30 08:08 8.6K 
[ ]coq-quickchick_2.0.5-1+b4_ppc64el.buildinfo2025-01-30 07:52 8.6K 
[ ]coq-quickchick_2.0.5-1+b1_s390x.buildinfo2024-12-22 02:04 8.7K 
[ ]coq-quickchick_2.0.2-1+b1_arm64.buildinfo2024-02-16 17:36 8.7K 
[ ]coq-quickchick_2.0.3-3+b5_amd64.buildinfo2024-09-17 11:38 8.7K 
[ ]coq-quickchick_2.0.3-3+b6_arm64.buildinfo2024-10-13 12:25 8.7K 
[ ]coq-quickchick_2.0.3-3+b4_amd64.buildinfo2024-08-31 05:16 8.7K 
[ ]coq-quickchick_2.0.3-3+b6_riscv64.buildinfo2024-10-14 01:40 8.7K 
[ ]coq-quickchick_2.0.3-3+b4_ppc64el.buildinfo2024-08-31 04:10 8.7K 
[ ]coq-quickchick_2.0.3-3+b5_ppc64el.buildinfo2024-09-17 11:38 8.7K 
[ ]coq-quickchick_2.0.3-3+b6_amd64.buildinfo2024-10-13 11:49 8.7K 
[ ]coq-quickchick_2.0.2-1+b1_ppc64el.buildinfo2024-02-16 15:20 8.7K 
[ ]coq-quickchick_2.0.2-1+b1_amd64.buildinfo2024-02-16 15:04 8.7K 
[ ]coq-quickchick_2.0.5-1_amd64-source.buildinfo2024-12-18 16:08 8.7K 
[ ]coq-quickchick_2.0.3-3+b6_ppc64el.buildinfo2024-10-13 12:45 8.7K 
[ ]coq-quickchick_2.0.3-2_source.buildinfo2024-04-30 21:09 8.7K 
[ ]coq-quickchick_2.0.5-1+b1_riscv64.buildinfo2024-12-19 19:49 8.8K 
[ ]coq-quickchick_2.0.5-1+b1_arm64.buildinfo2024-12-19 21:31 8.8K 
[ ]coq-quickchick_2.0.5-1+b1_amd64.buildinfo2024-12-19 19:49 8.8K 
[ ]coq-quickchick_2.0.5-1+b1_ppc64el.buildinfo2024-12-19 18:56 8.8K 
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443