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 

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