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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-elpi_1.11.2-1+b1_amd64.buildinfo2022-01-01 12:25 7.8K 
[   ]coq-elpi_1.11.2-1_amd64-source.buildinfo2021-12-03 08:19 8.7K 
[   ]coq-elpi_1.11.2-1_arm64.buildinfo2021-12-17 19:40 7.4K 
[   ]coq-elpi_1.11.2-1_armhf.buildinfo2021-12-17 19:55 7.3K 
[   ]coq-elpi_1.11.2-1_i386.buildinfo2021-12-17 23:13 7.4K 
[   ]coq-elpi_1.11.2-1_ppc64el.buildinfo2021-12-17 20:26 7.5K 
[   ]coq-elpi_1.11.2-2_amd64.buildinfo2022-01-17 08:55 7.5K 
[   ]coq-elpi_1.11.2-2_arm64.buildinfo2022-01-17 08:55 7.5K 
[   ]coq-elpi_1.11.2-2_armhf.buildinfo2022-01-17 08:55 7.4K 
[   ]coq-elpi_1.11.2-2_i386.buildinfo2022-01-17 08:50 7.5K 
[   ]coq-elpi_1.11.2-2_ppc64el.buildinfo2022-01-17 08:55 7.5K 
[   ]coq-elpi_1.11.2-2_source.buildinfo2022-01-17 07:59 7.9K 
[   ]coq-elpi_1.12.0-1_amd64.buildinfo2022-01-17 17:10 7.5K 
[   ]coq-elpi_1.12.0-1_arm64.buildinfo2022-01-17 17:26 7.5K 
[   ]coq-elpi_1.12.0-1_armhf.buildinfo2022-01-17 17:26 7.4K 
[   ]coq-elpi_1.12.0-1_i386.buildinfo2022-01-17 17:10 7.5K 
[   ]coq-elpi_1.12.0-1_ppc64el.buildinfo2022-01-17 17:26 7.5K 
[   ]coq-elpi_1.12.0-1_source.buildinfo2022-01-17 16:39 7.9K 
[   ]coq-elpi_1.12.1-1_amd64.buildinfo2022-01-21 15:41 7.5K 
[   ]coq-elpi_1.12.1-1_arm64.buildinfo2022-01-21 16:11 7.4K 
[   ]coq-elpi_1.12.1-1_armhf.buildinfo2022-01-21 15:56 7.3K 
[   ]coq-elpi_1.12.1-1_i386.buildinfo2022-01-21 15:36 7.4K 
[   ]coq-elpi_1.12.1-1_ppc64el.buildinfo2022-01-21 19:43 7.5K 
[   ]coq-elpi_1.12.1-1_source.buildinfo2022-01-21 15:15 7.9K 
[   ]coq-elpi_1.12.1-2_amd64.buildinfo2022-02-06 12:59 7.5K 
[   ]coq-elpi_1.12.1-2_arm64.buildinfo2022-02-06 12:59 7.5K 
[   ]coq-elpi_1.12.1-2_armhf.buildinfo2022-02-06 12:59 7.4K 
[   ]coq-elpi_1.12.1-2_i386.buildinfo2022-02-06 12:54 7.5K 
[   ]coq-elpi_1.12.1-2_ppc64el.buildinfo2022-02-06 12:59 7.5K 
[   ]coq-elpi_1.12.1-2_source.buildinfo2022-02-06 12:19 7.8K 
[   ]coq-elpi_1.13.0-1_amd64.buildinfo2022-02-10 17:59 7.5K 
[   ]coq-elpi_1.13.0-1_arm64.buildinfo2022-02-10 17:59 7.5K 
[   ]coq-elpi_1.13.0-1_armhf.buildinfo2022-02-10 17:59 7.4K 
[   ]coq-elpi_1.13.0-1_i386.buildinfo2022-02-10 17:49 7.5K 
[   ]coq-elpi_1.13.0-1_ppc64el.buildinfo2022-02-10 17:59 7.5K 
[   ]coq-elpi_1.13.0-1_source.buildinfo2022-02-10 17:24 7.7K 
[   ]coq-elpi_1.13.0-2_amd64.buildinfo2022-03-23 22:12 7.5K 
[   ]coq-elpi_1.13.0-2_arm64.buildinfo2022-03-23 22:12 7.5K 
[   ]coq-elpi_1.13.0-2_armhf.buildinfo2022-03-23 22:27 7.4K 
[   ]coq-elpi_1.13.0-2_i386.buildinfo2022-03-23 22:12 7.4K 
[   ]coq-elpi_1.13.0-2_ppc64el.buildinfo2022-03-23 22:12 7.5K 
[   ]coq-elpi_1.13.0-2_source.buildinfo2022-03-23 21:37 7.0K 
[   ]coq-elpi_1.13.0-3_all-amd64-source.buildinfo2022-04-01 14:06 8.2K 
[   ]coq-elpi_1.13.0-3_arm64.buildinfo2022-04-01 19:25 7.5K 
[   ]coq-elpi_1.13.0-3_armhf.buildinfo2022-04-01 19:25 7.4K 
[   ]coq-elpi_1.13.0-3_i386.buildinfo2022-04-01 19:25 7.4K 
[   ]coq-elpi_1.13.0-3_ppc64el.buildinfo2022-04-01 19:26 7.5K 
[   ]coq-elpi_1.13.0-4_all.buildinfo2022-04-11 07:48 6.9K 
[   ]coq-elpi_1.13.0-4_amd64.buildinfo2022-04-11 07:58 7.5K 
[   ]coq-elpi_1.13.0-4_arm64.buildinfo2022-04-11 07:58 7.5K 
[   ]coq-elpi_1.13.0-4_armhf.buildinfo2022-04-11 08:13 7.4K 
[   ]coq-elpi_1.13.0-4_i386.buildinfo2022-04-11 07:48 7.4K 
[   ]coq-elpi_1.13.0-4_ppc64el.buildinfo2022-04-11 07:58 7.5K 
[   ]coq-elpi_1.13.0-4_source.buildinfo2022-04-11 07:23 7.0K 
[   ]coq-elpi_1.13.0-5_all.buildinfo2022-04-13 07:40 6.8K 
[   ]coq-elpi_1.13.0-5_amd64.buildinfo2022-04-13 07:40 7.5K 
[   ]coq-elpi_1.13.0-5_arm64.buildinfo2022-04-13 07:55 7.5K 
[   ]coq-elpi_1.13.0-5_armhf.buildinfo2022-04-13 07:55 7.3K 
[   ]coq-elpi_1.13.0-5_i386.buildinfo2022-04-13 07:40 7.4K 
[   ]coq-elpi_1.13.0-5_ppc64el.buildinfo2022-04-13 07:40 7.5K 
[   ]coq-elpi_1.13.0-5_source.buildinfo2022-04-13 07:10 7.0K 
[   ]coq-elpi_1.13.0-6_all.buildinfo2022-04-16 07:00 6.9K 
[   ]coq-elpi_1.13.0-6_amd64.buildinfo2022-04-16 07:10 7.5K 
[   ]coq-elpi_1.13.0-6_arm64.buildinfo2022-04-16 07:10 7.5K 
[   ]coq-elpi_1.13.0-6_armhf.buildinfo2022-04-16 07:10 7.4K 
[   ]coq-elpi_1.13.0-6_i386.buildinfo2022-04-16 07:00 7.4K 
[   ]coq-elpi_1.13.0-6_ppc64el.buildinfo2022-04-16 07:10 7.5K 
[   ]coq-elpi_1.13.0-6_source.buildinfo2022-04-16 06:40 7.0K 
[   ]coq-elpi_1.13.0-7_amd64.buildinfo2022-04-17 12:28 7.7K 
[   ]coq-elpi_1.13.0-7_arm64.buildinfo2022-04-17 12:28 7.7K 
[   ]coq-elpi_1.13.0-7_armhf.buildinfo2022-04-17 12:28 7.6K 
[   ]coq-elpi_1.13.0-7_i386.buildinfo2022-04-17 12:18 7.7K 
[   ]coq-elpi_1.13.0-7_ppc64el.buildinfo2022-04-17 12:28 7.8K 
[   ]coq-elpi_1.13.0-7_source.buildinfo2022-04-17 11:58 7.0K 
[   ]coq-elpi_1.14.0-1_amd64.buildinfo2022-05-14 16:25 7.8K 
[   ]coq-elpi_1.14.0-1_arm64.buildinfo2022-05-14 16:40 7.8K 
[   ]coq-elpi_1.14.0-1_armhf.buildinfo2022-05-14 17:57 7.7K 
[   ]coq-elpi_1.14.0-1_i386.buildinfo2022-05-14 16:20 7.8K 
[   ]coq-elpi_1.14.0-1_ppc64el.buildinfo2022-05-14 16:40 7.8K 
[   ]coq-elpi_1.14.0-1_source.buildinfo2022-05-14 13:53 7.0K 
[   ]coq-elpi_1.14.0-2_amd64.buildinfo2022-05-21 18:26 7.8K 
[   ]coq-elpi_1.14.0-2_arm64.buildinfo2022-05-21 18:26 7.8K 
[   ]coq-elpi_1.14.0-2_armhf.buildinfo2022-05-21 18:26 7.7K 
[   ]coq-elpi_1.14.0-2_i386.buildinfo2022-05-21 18:16 7.7K 
[   ]coq-elpi_1.14.0-2_ppc64el.buildinfo2022-05-21 18:26 7.8K 
[   ]coq-elpi_1.14.0-2_source.buildinfo2022-05-21 17:56 7.0K 
[   ]coq-elpi_1.14.0-3_amd64.buildinfo2022-06-01 13:57 7.8K 
[   ]coq-elpi_1.14.0-3_arm64.buildinfo2022-06-01 14:12 7.8K 
[   ]coq-elpi_1.14.0-3_armhf.buildinfo2022-06-01 14:12 7.7K 
[   ]coq-elpi_1.14.0-3_i386.buildinfo2022-06-01 13:57 7.7K 
[   ]coq-elpi_1.14.0-3_ppc64el.buildinfo2022-06-01 14:12 7.8K 
[   ]coq-elpi_1.14.0-3_source.buildinfo2022-06-01 13:26 7.0K 
[   ]coq-elpi_1.14.0-4_amd64.buildinfo2022-06-12 12:40 7.8K 
[   ]coq-elpi_1.14.0-4_arm64.buildinfo2022-06-12 12:40 7.8K 
[   ]coq-elpi_1.14.0-4_armhf.buildinfo2022-06-12 12:55 7.7K 
[   ]coq-elpi_1.14.0-4_i386.buildinfo2022-06-12 12:40 7.7K 
[   ]coq-elpi_1.14.0-4_ppc64el.buildinfo2022-06-12 12:55 7.8K 
[   ]coq-elpi_1.14.0-4_source.buildinfo2022-06-12 12:05 7.0K 
[   ]coq-elpi_1.14.0-5+b1_amd64.buildinfo2022-07-22 21:26 8.2K 
[   ]coq-elpi_1.14.0-5+b1_arm64.buildinfo2022-07-22 21:26 8.2K 
[   ]coq-elpi_1.14.0-5+b1_armhf.buildinfo2022-07-22 21:26 8.1K 
[   ]coq-elpi_1.14.0-5+b1_i386.buildinfo2022-07-22 21:10 8.2K 
[   ]coq-elpi_1.14.0-5+b1_ppc64el.buildinfo2022-07-22 21:26 8.2K 
[   ]coq-elpi_1.14.0-5_amd64.buildinfo2022-06-12 18:58 7.8K 
[   ]coq-elpi_1.14.0-5_arm64.buildinfo2022-06-12 18:58 7.8K 
[   ]coq-elpi_1.14.0-5_armhf.buildinfo2022-06-12 19:13 7.7K 
[   ]coq-elpi_1.14.0-5_i386.buildinfo2022-06-12 18:58 7.7K 
[   ]coq-elpi_1.14.0-5_ppc64el.buildinfo2022-06-12 19:13 7.8K 
[   ]coq-elpi_1.14.0-5_source.buildinfo2022-06-12 18:23 7.0K 
[   ]coq-elpi_1.15.5-1_amd64.buildinfo2022-09-06 11:40 7.3K 
[   ]coq-elpi_1.15.5-1_arm64.buildinfo2022-09-06 12:26 7.3K 
[   ]coq-elpi_1.15.5-1_armhf.buildinfo2022-09-06 12:26 7.1K 
[   ]coq-elpi_1.15.5-1_i386.buildinfo2022-09-06 13:11 7.2K 
[   ]coq-elpi_1.15.5-1_ppc64el.buildinfo2022-09-06 14:28 7.3K 
[   ]coq-elpi_1.15.5-1_source.buildinfo2022-09-06 09:04 7.3K 
[   ]coq-elpi_1.15.6-1_amd64.buildinfo2022-09-11 16:41 7.2K 
[   ]coq-elpi_1.15.6-1_arm64.buildinfo2022-09-11 16:41 7.2K 
[   ]coq-elpi_1.15.6-1_armhf.buildinfo2022-09-11 16:41 7.1K 
[   ]coq-elpi_1.15.6-1_i386.buildinfo2022-09-11 16:31 7.2K 
[   ]coq-elpi_1.15.6-1_ppc64el.buildinfo2022-09-11 16:41 7.2K 
[   ]coq-elpi_1.15.6-1_source.buildinfo2022-09-11 16:11 7.3K 
[   ]coq-elpi_1.15.6-2_amd64.buildinfo2022-10-25 20:12 7.4K 
[   ]coq-elpi_1.15.6-2_arm64.buildinfo2022-10-25 20:27 7.4K 
[   ]coq-elpi_1.15.6-2_armhf.buildinfo2022-10-25 20:27 7.2K 
[   ]coq-elpi_1.15.6-2_i386.buildinfo2022-10-25 20:12 7.3K 
[   ]coq-elpi_1.15.6-2_ppc64el.buildinfo2022-10-25 22:42 7.4K 
[   ]coq-elpi_1.15.6-2_source.buildinfo2022-10-25 19:37 7.8K 
[   ]coq-elpi_1.15.6-4_amd64.buildinfo2022-11-14 02:13 7.4K 
[   ]coq-elpi_1.15.6-4_arm64.buildinfo2022-11-14 01:43 7.4K 
[   ]coq-elpi_1.15.6-4_i386.buildinfo2022-11-14 04:05 7.3K 
[   ]coq-elpi_1.15.6-4_ppc64el.buildinfo2022-11-15 00:55 7.4K 
[   ]coq-elpi_1.15.6-4_source.buildinfo2022-11-13 20:55 7.8K 
[   ]coq-elpi_1.16.0-1+b1_amd64.buildinfo2022-11-29 13:43 7.7K 
[   ]coq-elpi_1.16.0-1+b1_arm64.buildinfo2022-11-29 13:28 7.7K 
[   ]coq-elpi_1.16.0-1+b1_i386.buildinfo2022-11-29 13:44 7.6K 
[   ]coq-elpi_1.16.0-1+b1_ppc64el.buildinfo2022-11-29 14:29 7.7K 
[   ]coq-elpi_1.16.0-1+b2_amd64.buildinfo2023-01-25 05:40 7.7K 
[   ]coq-elpi_1.16.0-1+b2_arm64.buildinfo2023-01-25 05:40 7.6K 
[   ]coq-elpi_1.16.0-1+b2_i386.buildinfo2023-01-25 05:40 7.6K 
[   ]coq-elpi_1.16.0-1+b2_ppc64el.buildinfo2023-01-25 07:11 7.7K 
[   ]coq-elpi_1.16.0-1_amd64.buildinfo2022-11-20 16:10 7.3K 
[   ]coq-elpi_1.16.0-1_arm64.buildinfo2022-11-20 16:10 7.3K 
[   ]coq-elpi_1.16.0-1_i386.buildinfo2022-11-20 16:25 7.3K 
[   ]coq-elpi_1.16.0-1_ppc64el.buildinfo2022-11-20 16:41 7.3K 
[   ]coq-elpi_1.16.0-1_source.buildinfo2022-11-20 15:35 7.8K 
[   ]coq-elpi_1.16.0-2+b1_amd64.buildinfo2023-02-14 09:59 7.6K 
[   ]coq-elpi_1.16.0-2+b1_arm64.buildinfo2023-02-14 09:59 7.6K 
[   ]coq-elpi_1.16.0-2+b1_i386.buildinfo2023-02-14 09:49 7.5K 
[   ]coq-elpi_1.16.0-2+b1_ppc64el.buildinfo2023-02-14 10:44 7.6K 
[   ]coq-elpi_1.16.0-2_amd64.buildinfo2023-01-25 07:57 7.3K 
[   ]coq-elpi_1.16.0-2_arm64.buildinfo2023-01-25 07:57 7.3K 
[   ]coq-elpi_1.16.0-2_i386.buildinfo2023-01-25 07:47 7.3K 
[   ]coq-elpi_1.16.0-2_ppc64el.buildinfo2023-01-26 12:14 7.3K 
[   ]coq-elpi_1.16.0-2_source.buildinfo2023-01-25 06:56 7.7K 
[   ]coq-elpi_1.17.1-1+b1_amd64.buildinfo2023-07-03 13:13 7.8K 
[   ]coq-elpi_1.17.1-1+b1_arm64.buildinfo2023-07-06 00:10 7.8K 
[   ]coq-elpi_1.17.1-1+b1_i386.buildinfo2023-07-03 13:08 7.7K 
[   ]coq-elpi_1.17.1-1+b1_ppc64el.buildinfo2023-07-06 00:10 7.8K 
[   ]coq-elpi_1.17.1-1+b2_amd64.buildinfo2023-07-07 03:27 7.8K 
[   ]coq-elpi_1.17.1-1+b2_arm64.buildinfo2023-07-07 03:27 7.8K 
[   ]coq-elpi_1.17.1-1+b2_i386.buildinfo2023-07-12 12:35 7.7K 
[   ]coq-elpi_1.17.1-1+b2_ppc64el.buildinfo2023-07-06 23:59 7.8K 
[   ]coq-elpi_1.17.1-1+b3_amd64.buildinfo2023-07-16 13:41 7.8K 
[   ]coq-elpi_1.17.1-1+b3_arm64.buildinfo2023-07-16 14:26 7.7K 
[   ]coq-elpi_1.17.1-1+b3_i386.buildinfo2023-07-16 13:10 7.7K 
[   ]coq-elpi_1.17.1-1+b3_ppc64el.buildinfo2023-07-16 13:10 7.8K 
[   ]coq-elpi_1.17.1-1+b4_amd64.buildinfo2023-07-23 12:44 7.8K 
[   ]coq-elpi_1.17.1-1+b4_arm64.buildinfo2023-07-23 14:26 7.7K 
[   ]coq-elpi_1.17.1-1+b4_i386.buildinfo2023-07-23 13:40 7.7K 
[   ]coq-elpi_1.17.1-1+b4_ppc64el.buildinfo2023-07-23 13:25 7.7K 
[   ]coq-elpi_1.17.1-1+b5_amd64.buildinfo2023-07-25 19:00 7.8K 
[   ]coq-elpi_1.17.1-1+b5_arm64.buildinfo2023-07-25 19:00 7.7K 
[   ]coq-elpi_1.17.1-1+b5_i386.buildinfo2023-07-25 19:00 7.7K 
[   ]coq-elpi_1.17.1-1+b5_ppc64el.buildinfo2023-07-25 18:59 7.7K 
[   ]coq-elpi_1.17.1-1+b6_amd64.buildinfo2023-07-27 17:58 7.8K 
[   ]coq-elpi_1.17.1-1+b6_arm64.buildinfo2023-07-27 18:14 7.7K 
[   ]coq-elpi_1.17.1-1+b6_i386.buildinfo2023-07-27 19:57 7.7K 
[   ]coq-elpi_1.17.1-1+b6_ppc64el.buildinfo2023-07-27 17:58 7.7K 
[   ]coq-elpi_1.17.1-1+b7_amd64.buildinfo2023-08-20 18:57 7.6K 
[   ]coq-elpi_1.17.1-1+b7_arm64.buildinfo2023-08-20 20:14 7.6K 
[   ]coq-elpi_1.17.1-1+b7_i386.buildinfo2023-08-20 19:13 7.5K 
[   ]coq-elpi_1.17.1-1+b7_ppc64el.buildinfo2023-08-20 18:58 7.6K 
[   ]coq-elpi_1.17.1-1+b8_amd64.buildinfo2023-08-27 17:47 7.8K 
[   ]coq-elpi_1.17.1-1+b8_arm64.buildinfo2023-08-27 17:57 7.7K 
[   ]coq-elpi_1.17.1-1+b8_i386.buildinfo2023-08-27 17:57 7.7K 
[   ]coq-elpi_1.17.1-1+b8_ppc64el.buildinfo2023-08-27 17:57 7.7K 
[   ]coq-elpi_1.17.1-1+b9_amd64.buildinfo2023-09-22 07:26 7.8K 
[   ]coq-elpi_1.17.1-1+b9_arm64.buildinfo2023-09-22 09:14 7.7K 
[   ]coq-elpi_1.17.1-1+b9_i386.buildinfo2023-09-22 07:26 7.7K 
[   ]coq-elpi_1.17.1-1+b9_ppc64el.buildinfo2023-09-22 08:12 7.7K 
[   ]coq-elpi_1.17.1-1+b10_amd64.buildinfo2023-10-15 05:44 7.8K 
[   ]coq-elpi_1.17.1-1+b10_arm64.buildinfo2023-10-15 04:13 7.8K 
[   ]coq-elpi_1.17.1-1+b10_i386.buildinfo2023-10-15 06:25 7.8K 
[   ]coq-elpi_1.17.1-1+b10_ppc64el.buildinfo2023-10-15 01:11 7.8K 
[   ]coq-elpi_1.17.1-1_amd64.buildinfo2023-06-12 22:58 7.3K 
[   ]coq-elpi_1.17.1-1_arm64.buildinfo2023-06-13 08:28 7.3K 
[   ]coq-elpi_1.17.1-1_i386.buildinfo2023-06-13 00:10 7.2K 
[   ]coq-elpi_1.17.1-1_ppc64el.buildinfo2023-06-18 14:11 7.4K 
[   ]coq-elpi_1.17.1-1_source.buildinfo2023-06-12 20:28 7.6K 
[   ]coq-elpi_1.19.3-1_amd64.buildinfo2023-12-22 10:57 7.5K 
[   ]coq-elpi_1.19.3-1_arm64.buildinfo2023-12-22 10:57 7.5K 
[   ]coq-elpi_1.19.3-1_armhf.buildinfo2023-12-31 19:27 7.4K 
[   ]coq-elpi_1.19.3-1_i386.buildinfo2023-12-22 11:02 7.4K 
[   ]coq-elpi_1.19.3-1_ppc64el.buildinfo2023-12-22 10:57 7.5K 
[   ]coq-elpi_1.19.3-1_s390x.buildinfo2023-12-31 19:22 7.4K 
[   ]coq-elpi_1.19.3-1_source.buildinfo2023-12-22 10:16 8.1K 
[   ]coq-elpi_1.19.3-2+b1_amd64.buildinfo2024-02-16 12:12 8.0K 
[   ]coq-elpi_1.19.3-2+b1_arm64.buildinfo2024-02-16 11:42 8.0K 
[   ]coq-elpi_1.19.3-2+b1_armhf.buildinfo2024-02-16 11:41 7.9K 
[   ]coq-elpi_1.19.3-2+b1_i386.buildinfo2024-02-16 12:07 7.9K 
[   ]coq-elpi_1.19.3-2+b1_ppc64el.buildinfo2024-02-16 11:36 8.0K 
[   ]coq-elpi_1.19.3-2+b1_riscv64.buildinfo2024-02-16 15:25 7.9K 
[   ]coq-elpi_1.19.3-2+b1_s390x.buildinfo2024-02-16 11:36 7.9K 
[   ]coq-elpi_1.19.3-2+b2_amd64.buildinfo2024-03-19 18:40 7.8K 
[   ]coq-elpi_1.19.3-2+b2_arm64.buildinfo2024-03-19 18:51 7.8K 
[   ]coq-elpi_1.19.3-2+b2_armhf.buildinfo2024-03-26 15:33 7.7K 
[   ]coq-elpi_1.19.3-2+b2_i386.buildinfo2024-03-19 18:40 7.7K 
[   ]coq-elpi_1.19.3-2+b2_ppc64el.buildinfo2024-03-19 18:40 7.8K 
[   ]coq-elpi_1.19.3-2+b2_s390x.buildinfo2024-03-19 20:54 7.6K 
[   ]coq-elpi_1.19.3-2_amd64.buildinfo2024-01-03 09:16 7.5K 
[   ]coq-elpi_1.19.3-2_arm64.buildinfo2024-01-03 09:11 7.5K 
[   ]coq-elpi_1.19.3-2_armhf.buildinfo2024-01-03 09:16 7.4K 
[   ]coq-elpi_1.19.3-2_i386.buildinfo2024-01-03 09:11 7.4K 
[   ]coq-elpi_1.19.3-2_ppc64el.buildinfo2024-01-03 09:16 7.5K 
[   ]coq-elpi_1.19.3-2_riscv64.buildinfo2024-01-03 09:46 7.3K 
[   ]coq-elpi_1.19.3-2_s390x.buildinfo2024-01-03 09:11 7.4K 

Apache/2.4.57 (Debian) Server at buildinfos.debian.net Port 443