Index of /buildinfo-pool/c/coq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq_8.6-1_amd64-source.buildinfo2016-12-28 13:44 13K 
[   ]coq_8.6-1_kfreebsd-i386.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_i386.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_kfreebsd-amd64.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_arm64.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_powerpc.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_hurd-i386.buildinfo2016-12-28 15:14 13K 
[   ]coq_8.6-2_amd64-source.buildinfo2016-12-28 20:21 13K 
[   ]coq_8.6-2_kfreebsd-i386.buildinfo2016-12-28 22:16 13K 
[   ]coq_8.6-2_kfreebsd-amd64.buildinfo2016-12-28 22:26 13K 
[   ]coq_8.6-2_i386.buildinfo2016-12-28 22:27 13K 
[   ]coq_8.6-2_arm64.buildinfo2016-12-28 22:42 13K 
[   ]coq_8.6-2_powerpc.buildinfo2016-12-28 22:42 13K 
[   ]coq_8.6-2_s390x.buildinfo2016-12-28 23:27 12K 
[   ]coq_8.6-2_ppc64el.buildinfo2016-12-29 00:27 12K 
[   ]coq_8.6-2_armel.buildinfo2016-12-29 00:27 13K 
[   ]coq_8.6-2_armhf.buildinfo2016-12-29 01:27 13K 
[   ]coq_8.6-2_mips64el.buildinfo2016-12-29 06:27 12K 
[   ]coq_8.6-3_amd64-source.buildinfo2016-12-29 08:58 13K 
[   ]coq_8.6-3_i386.buildinfo2016-12-29 09:58 13K 
[   ]coq_8.6-3_kfreebsd-i386.buildinfo2016-12-29 09:58 13K 
[   ]coq_8.6-3_kfreebsd-amd64.buildinfo2016-12-29 09:58 13K 
[   ]coq_8.6-3_powerpc.buildinfo2016-12-29 10:29 13K 
[   ]coq_8.6-3_s390x.buildinfo2016-12-29 11:14 12K 
[   ]coq_8.6-3_armel.buildinfo2016-12-29 11:14 13K 
[   ]coq_8.6-3_armhf.buildinfo2016-12-29 11:29 13K 
[   ]coq_8.6-3_arm64.buildinfo2016-12-29 11:29 13K 
[   ]coq_8.6-3_hurd-i386.buildinfo2016-12-29 11:34 13K 
[   ]coq_8.6-3_ppc64el.buildinfo2016-12-29 12:14 12K 
[   ]coq_8.6-3_mips.buildinfo2016-12-29 16:00 12K 
[   ]coq_8.6-3_mips64el.buildinfo2016-12-29 16:45 12K 
[   ]coq_8.6-3_mipsel.buildinfo2016-12-29 21:16 12K 
[   ]coq_8.6-4_amd64-source.buildinfo2016-12-30 00:56 13K 
[   ]coq_8.6-4_i386.buildinfo2016-12-30 01:57 13K 
[   ]coq_8.6-4_arm64.buildinfo2016-12-30 01:57 13K 
[   ]coq_8.6-4_powerpc.buildinfo2016-12-30 02:12 13K 
[   ]coq_8.6-4_kfreebsd-i386.buildinfo2016-12-30 02:12 13K 
[   ]coq_8.6-4_armhf.buildinfo2016-12-30 03:12 13K 
[   ]coq_8.6-4_armel.buildinfo2016-12-30 03:12 13K 
[   ]coq_8.6-4_kfreebsd-amd64.buildinfo2016-12-30 03:57 13K 
[   ]coq_8.6-4_ppc64el.buildinfo2016-12-30 03:57 12K 
[   ]coq_8.6-4_s390x.buildinfo2016-12-30 05:27 12K 
[   ]coq_8.6-4_mipsel.buildinfo2016-12-30 07:57 12K 
[   ]coq_8.6-4_mips.buildinfo2016-12-30 07:57 12K 
[   ]coq_8.6-4_hurd-i386.buildinfo2016-12-30 09:23 13K 
[   ]coq_8.6-4_mips64el.buildinfo2016-12-30 14:29 12K 
[   ]coq_8.6-4+b1_i386.buildinfo2017-07-20 13:41 14K 
[   ]coq_8.6-4+b1_powerpc.buildinfo2017-07-20 13:41 13K 
[   ]coq_8.6-4+b1_amd64.buildinfo2017-07-20 13:56 14K 
[   ]coq_8.6-4+b1_kfreebsd-amd64.buildinfo2017-07-20 13:56 14K 
[   ]coq_8.6-4+b1_kfreebsd-i386.buildinfo2017-07-20 14:11 14K 
[   ]coq_8.6-4+b1_hurd-i386.buildinfo2017-07-20 14:11 13K 
[   ]coq_8.6-4+b1_arm64.buildinfo2017-07-20 14:26 14K 
[   ]coq_8.6-4+b1_s390x.buildinfo2017-07-20 14:56 13K 
[   ]coq_8.6-4+b1_ppc64el.buildinfo2017-07-20 15:57 13K 
[   ]coq_8.6-4+b1_armel.buildinfo2017-07-20 17:43 14K 
[   ]coq_8.6-4+b1_armhf.buildinfo2017-07-20 18:28 14K 
[   ]coq_8.6-4+b1_mips.buildinfo2017-07-20 23:26 13K 
[   ]coq_8.6-4+b1_mipsel.buildinfo2017-07-21 04:12 13K 
[   ]coq_8.6-4+b1_mips64el.buildinfo2017-07-21 07:28 13K 
[   ]coq_8.6-5_amd64-source.buildinfo2017-09-26 10:04 15K 
[   ]coq_8.6-5_ppc64el.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.6-5_i386.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.6-5_s390x.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.6-5_powerpc.buildinfo2017-09-26 11:14 13K 
[   ]coq_8.6-5_kfreebsd-i386.buildinfo2017-09-26 11:19 13K 
[   ]coq_8.6-5_arm64.buildinfo2017-09-26 11:45 14K 
[   ]coq_8.6-5_hurd-i386.buildinfo2017-09-26 12:40 13K 
[   ]coq_8.6-5_armhf.buildinfo2017-09-26 13:27 14K 
[   ]coq_8.6-5_mips.buildinfo2017-09-26 17:49 13K 
[   ]coq_8.6-5_mipsel.buildinfo2017-09-26 20:30 13K 
[   ]coq_8.6-5_mips64el.buildinfo2017-09-26 22:26 13K 
[   ]coq_8.6-5_kfreebsd-amd64.buildinfo2017-09-27 14:26 13K 
[   ]coq_8.6-5+b1_armhf.buildinfo2017-10-06 12:13 14K 
[   ]coq_8.6-5_armel.buildinfo2017-10-06 17:59 13K 
[   ]coq_8.8.2-1_amd64-source.buildinfo2019-01-07 04:31 14K 
[   ]coq_8.8.2-1_ppc64el.buildinfo2019-01-07 05:27 14K 
[   ]coq_8.8.2-1_i386.buildinfo2019-01-07 05:58 14K 
[   ]coq_8.8.2-1_arm64.buildinfo2019-01-07 05:58 14K 
[   ]coq_8.8.2-1_s390x.buildinfo2019-01-07 06:30 14K 
[   ]coq_8.8.2-1_armhf.buildinfo2019-01-07 06:40 14K 
[   ]coq_8.8.2-1_hurd-i386.buildinfo2019-01-07 09:23 13K 
[   ]coq_8.8.2-1_kfreebsd-amd64.buildinfo2019-01-08 21:58 14K 
[   ]coq_8.9.0-1_amd64-source.buildinfo2019-02-06 18:49 14K 
[   ]coq_8.9.0-1_ppc64el.buildinfo2019-02-06 20:00 14K 
[   ]coq_8.9.0-1_s390x.buildinfo2019-02-06 20:00 14K 
[   ]coq_8.9.0-1_i386.buildinfo2019-02-06 20:21 14K 
[   ]coq_8.9.0-1_arm64.buildinfo2019-02-06 20:26 14K 
[   ]coq_8.9.0-1_hurd-i386.buildinfo2019-02-06 21:41 13K 
[   ]coq_8.9.0-1_mipsel.buildinfo2019-02-07 00:59 13K 
[   ]coq_8.9.0-1_armel.buildinfo2019-02-07 01:44 13K 
[   ]coq_8.9.0-1_mips.buildinfo2019-02-07 03:15 13K 
[   ]coq_8.9.0-1_armhf.buildinfo2019-02-07 21:15 14K 
[   ]coq_8.9.0-1_kfreebsd-amd64.buildinfo2019-02-08 03:36 14K 
[   ]coq_8.9.0-1_mips64el.buildinfo2019-02-09 08:29 13K 
[   ]coq_8.9.0-1+b1_i386.buildinfo2019-07-29 08:38 15K 
[   ]coq_8.9.0-1+b1_ppc64el.buildinfo2019-07-29 08:43 14K 
[   ]coq_8.9.0-1+b1_s390x.buildinfo2019-07-29 08:48 14K 
[   ]coq_8.9.0-1+b1_amd64.buildinfo2019-07-29 08:58 15K 
[   ]coq_8.9.0-1+b1_arm64.buildinfo2019-07-29 09:13 14K 
[   ]coq_8.9.0-1+b1_armhf.buildinfo2019-07-29 09:59 14K 
[   ]coq_8.9.0-1+b1_mips.buildinfo2019-07-29 12:44 14K 
[   ]coq_8.9.0-1+b1_armel.buildinfo2019-07-29 14:11 14K 
[   ]coq_8.9.0-1+b1_mipsel.buildinfo2019-07-29 16:45 14K 
[   ]coq_8.9.0-1+b1_mips64el.buildinfo2019-07-29 17:42 14K 
[   ]coq_8.9.0-1+b2_i386.buildinfo2019-08-05 16:14 15K 
[   ]coq_8.9.0-1+b2_ppc64el.buildinfo2019-08-05 16:14 14K 
[   ]coq_8.9.0-1+b2_arm64.buildinfo2019-08-05 16:29 14K 
[   ]coq_8.9.0-1+b2_amd64.buildinfo2019-08-05 16:29 15K 
[   ]coq_8.9.0-1+b2_armhf.buildinfo2019-08-05 18:43 14K 
[   ]coq_8.9.0-1+b2_s390x.buildinfo2019-08-05 18:58 14K 
[   ]coq_8.9.0-1+b2_armel.buildinfo2019-08-05 21:29 14K 
[   ]coq_8.9.0-1+b2_mips64el.buildinfo2019-08-05 23:13 14K 
[   ]coq_8.9.0-1+b2_mips.buildinfo2019-08-05 23:28 14K 
[   ]coq_8.9.0-1+b2_mipsel.buildinfo2019-08-06 01:44 14K 
[   ]coq_8.9.1-1_i386.buildinfo2019-08-20 04:07 14K 
[   ]coq_8.9.1-1_ppc64el.buildinfo2019-08-20 04:13 14K 
[   ]coq_8.9.1-1_s390x.buildinfo2019-08-20 04:23 14K 
[   ]coq_8.9.1-1_armhf.buildinfo2019-08-20 04:28 14K 
[   ]coq_8.9.1-1_amd64.buildinfo2019-08-20 04:28 14K 
[   ]coq_8.9.1-1_arm64.buildinfo2019-08-20 04:43 14K 
[   ]coq_8.9.1-1_mips.buildinfo2019-08-20 08:15 14K 
[   ]coq_8.9.1-1_armel.buildinfo2019-08-20 09:40 14K 
[   ]coq_8.9.1-1_mipsel.buildinfo2019-08-20 09:40 14K 
[   ]coq_8.9.1-1_mips64el.buildinfo2019-08-21 18:58 14K 
[   ]coq_8.9.1-2_ppc64el.buildinfo2019-11-08 17:27 14K 
[   ]coq_8.9.1-2_amd64.buildinfo2019-11-08 17:42 14K 
[   ]coq_8.9.1-2_arm64.buildinfo2019-11-08 17:42 14K 
[   ]coq_8.9.1-2_armhf.buildinfo2019-11-08 17:42 14K 
[   ]coq_8.9.1-2_s390x.buildinfo2019-11-08 17:57 14K 
[   ]coq_8.9.1-2_i386.buildinfo2019-11-08 17:57 14K 
[   ]coq_8.9.1-2_armel.buildinfo2019-11-08 22:42 14K 
[   ]coq_8.9.1-2_mipsel.buildinfo2019-11-09 03:12 14K 
[   ]coq_8.9.1-2_mips64el.buildinfo2019-11-09 09:56 14K 
[   ]coq_8.9.1-2+b1_s390x.buildinfo2019-12-03 08:11 14K 
[   ]coq_8.9.1-2+b1_armhf.buildinfo2019-12-03 08:16 14K 
[   ]coq_8.9.1-2+b1_arm64.buildinfo2019-12-03 08:27 14K 
[   ]coq_8.9.1-2+b1_ppc64el.buildinfo2019-12-03 08:58 14K 
[   ]coq_8.9.1-2+b1_i386.buildinfo2019-12-03 11:25 15K 
[   ]coq_8.9.1-2+b1_amd64.buildinfo2019-12-03 12:12 15K 
[   ]coq_8.9.1-2+b1_armel.buildinfo2019-12-03 15:44 14K 
[   ]coq_8.9.1-2+b1_mipsel.buildinfo2019-12-05 17:25 14K 
[   ]coq_8.9.1-2+b1_mips64el.buildinfo2019-12-06 08:11 14K 
[   ]coq_8.9.1-2+b2_s390x.buildinfo2019-12-30 04:55 14K 
[   ]coq_8.9.1-2+b2_i386.buildinfo2019-12-30 05:05 15K 
[   ]coq_8.9.1-2+b2_ppc64el.buildinfo2019-12-30 05:10 14K 
[   ]coq_8.9.1-2+b2_amd64.buildinfo2019-12-30 05:25 15K 
[   ]coq_8.9.1-2+b2_armhf.buildinfo2019-12-30 06:25 14K 
[   ]coq_8.9.1-2+b2_arm64.buildinfo2019-12-30 06:25 14K 
[   ]coq_8.9.1-2+b2_mips64el.buildinfo2019-12-30 09:26 14K 
[   ]coq_8.9.1-2+b2_armel.buildinfo2019-12-30 12:27 14K 
[   ]coq_8.9.1-2+b2_mipsel.buildinfo2019-12-30 13:12 14K 
[   ]coq_8.10.2-1_amd64-source.buildinfo2020-01-01 21:03 18K 
[   ]coq_8.10.2-1_ppc64el.buildinfo2020-01-13 10:55 17K 
[   ]coq_8.10.2-1_arm64.buildinfo2020-01-16 05:41 17K 
[   ]coq_8.9.1-3_source.buildinfo2020-01-24 22:23 13K 
[   ]coq_8.9.1-3_amd64.buildinfo2020-01-24 23:09 15K 
[   ]coq_8.9.1-3_ppc64el.buildinfo2020-01-24 23:14 15K 
[   ]coq_8.9.1-3_s390x.buildinfo2020-01-24 23:14 15K 
[   ]coq_8.9.1-3_i386.buildinfo2020-01-25 00:14 15K 
[   ]coq_8.9.1-3_arm64.buildinfo2020-01-25 00:45 15K 
[   ]coq_8.9.1-3_armhf.buildinfo2020-01-25 01:00 15K 
[   ]coq_8.9.1-4_source.buildinfo2020-01-27 07:44 13K 
[   ]coq_8.9.1-4_s390x.buildinfo2020-01-27 08:19 15K 
[   ]coq_8.9.1-4_i386.buildinfo2020-01-27 08:34 15K 
[   ]coq_8.9.1-4_ppc64el.buildinfo2020-01-27 08:44 15K 
[   ]coq_8.9.1-4_amd64.buildinfo2020-01-27 08:44 15K 
[   ]coq_8.9.1-4_arm64.buildinfo2020-01-27 08:59 15K 
[   ]coq_8.9.1-4_armhf.buildinfo2020-01-27 10:00 15K 
[   ]coq_8.9.1-4_armel.buildinfo2020-01-27 13:41 14K 
[   ]coq_8.9.1-4_mipsel.buildinfo2020-01-27 16:42 14K 
[   ]coq_8.9.1-4_mips64el.buildinfo2020-01-28 21:27 14K 
[   ]coq_8.9.1-5_source.buildinfo2020-01-29 07:38 13K 
[   ]coq_8.9.1-5_s390x.buildinfo2020-01-29 08:18 15K 
[   ]coq_8.9.1-5_i386.buildinfo2020-01-29 08:33 15K 
[   ]coq_8.9.1-5_ppc64el.buildinfo2020-01-29 08:43 15K 
[   ]coq_8.9.1-5_amd64.buildinfo2020-01-29 08:43 15K 
[   ]coq_8.9.1-5_arm64.buildinfo2020-01-29 08:59 15K 
[   ]coq_8.9.1-5_armhf.buildinfo2020-01-29 09:56 15K 
[   ]coq_8.9.1-5_armel.buildinfo2020-01-29 13:58 14K 
[   ]coq_8.9.1-5_mips64el.buildinfo2020-01-30 12:41 14K 
[   ]coq_8.9.1-5_mipsel.buildinfo2020-01-31 08:28 14K 
[   ]coq_8.9.1-5+b1_i386.buildinfo2020-02-11 16:26 15K 
[   ]coq_8.9.1-5+b1_ppc64el.buildinfo2020-02-11 16:26 15K 
[   ]coq_8.9.1-5+b1_s390x.buildinfo2020-02-11 16:56 15K 
[   ]coq_8.9.1-5+b1_arm64.buildinfo2020-02-11 18:30 15K 
[   ]coq_8.9.1-5+b1_armhf.buildinfo2020-02-11 18:45 15K 
[   ]coq_8.9.1-5+b1_amd64.buildinfo2020-02-11 20:29 15K 
[   ]coq_8.9.1-5+b1_armel.buildinfo2020-02-12 06:41 14K 
[   ]coq_8.9.1-5+b1_mipsel.buildinfo2020-02-12 21:42 14K 
[   ]coq_8.9.1-5+b1_mips64el.buildinfo2020-02-13 19:45 14K 
[   ]coq_8.11.0-1_source.buildinfo2020-03-05 21:39 16K 
[   ]coq_8.11.0-1_arm64.buildinfo2020-03-05 22:58 17K 
[   ]coq_8.11.0-1_ppc64el.buildinfo2020-03-05 22:59 17K 
[   ]coq_8.11.0-1_amd64.buildinfo2020-03-05 22:59 18K 
[   ]coq_8.11.0-1+b1_ppc64el.buildinfo2020-04-07 15:13 18K 
[   ]coq_8.11.0-1+b1_amd64.buildinfo2020-04-07 15:29 18K 
[   ]coq_8.11.0-1+b1_arm64.buildinfo2020-04-07 17:10 18K 
[   ]coq_8.11.1~pre1-1_source.buildinfo2020-04-16 18:57 15K 
[   ]coq_8.11.1~pre1-1_ppc64el.buildinfo2020-04-16 19:59 16K 
[   ]coq_8.11.1~pre1-1_arm64.buildinfo2020-04-16 20:45 16K 
[   ]coq_8.11.1~pre1-1_armhf.buildinfo2020-04-16 21:15 16K 
[   ]coq_8.11.1~pre1-1_i386.buildinfo2020-04-16 21:25 16K 
[   ]coq_8.11.1~pre1-1_amd64.buildinfo2020-04-16 22:32 16K 
[   ]coq_8.11.1~pre1-1_armel.buildinfo2020-04-17 06:44 15K 
[   ]coq_8.11.1~pre1-1_mipsel.buildinfo2020-04-24 13:27 15K 
[   ]coq_8.11.1~pre1-1_mips64el.buildinfo2020-05-03 03:26 15K 
[   ]coq_8.12.0-1_source.buildinfo2020-08-22 09:26 14K 
[   ]coq_8.12.0-1_i386.buildinfo2020-08-22 10:33 15K 
[   ]coq_8.12.0-1_armhf.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_arm64.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_amd64.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_ppc64el.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_armel.buildinfo2020-08-22 13:14 14K 
[   ]coq_8.12.0-2_source.buildinfo2020-09-06 08:57 14K 
[   ]coq_8.12.0-2_ppc64el.buildinfo2020-09-06 09:57 15K 
[   ]coq_8.12.0-2_amd64.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_i386.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_armhf.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_arm64.buildinfo2020-09-06 10:28 15K 
[   ]coq_8.12.0-2_mips64el.buildinfo2020-09-06 16:42 14K 
[   ]coq_8.12.0-2_armel.buildinfo2020-09-06 19:28 14K 
[   ]coq_8.12.0-2_mipsel.buildinfo2020-09-07 00:12 14K 
[   ]coq_8.12.0-3_source.buildinfo2020-09-10 06:38 14K 
[   ]coq_8.12.0-3_i386.buildinfo2020-09-10 07:33 16K 
[   ]coq_8.12.0-3_armhf.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_arm64.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_ppc64el.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_amd64.buildinfo2020-09-10 07:58 16K 
[   ]coq_8.12.0-3_armel.buildinfo2020-09-10 10:10 15K 
[   ]coq_8.12.0-3_mipsel.buildinfo2020-09-10 14:28 15K 
[   ]coq_8.12.0-3_mips64el.buildinfo2020-09-10 23:43 15K 
[   ]coq_8.12.0-3+b1_ppc64el.buildinfo2020-10-02 12:27 16K 
[   ]coq_8.12.0-3+b1_i386.buildinfo2020-10-02 12:27 16K 
[   ]coq_8.12.0-3+b1_amd64.buildinfo2020-10-02 12:27 16K 
[   ]coq_8.12.0-3+b1_arm64.buildinfo2020-10-02 12:57 16K 
[   ]coq_8.12.0-3+b1_armhf.buildinfo2020-10-02 14:28 16K 
[   ]coq_8.12.0-3+b1_armel.buildinfo2020-10-02 14:58 15K 
[   ]coq_8.12.0-3+b1_mipsel.buildinfo2020-10-02 19:41 15K 
[   ]coq_8.12.0-3+b1_mips64el.buildinfo2020-10-02 20:11 15K 
[   ]coq_8.12.0-3+b2_arm64.buildinfo2020-10-13 23:13 16K 
[   ]coq_8.12.0-3+b2_amd64.buildinfo2020-10-13 23:13 16K 
[   ]coq_8.12.0-3+b2_i386.buildinfo2020-10-13 23:14 16K 
[   ]coq_8.12.0-3+b2_ppc64el.buildinfo2020-10-13 23:14 16K 
[   ]coq_8.12.0-3+b2_armhf.buildinfo2020-10-13 23:30 16K 
[   ]coq_8.12.0-3+b2_armel.buildinfo2020-10-14 02:14 15K 
[   ]coq_8.12.0-3+b2_mipsel.buildinfo2020-10-15 08:43 15K 
[   ]coq_8.12.0-3+b2_mips64el.buildinfo2020-10-16 02:12 15K 
[   ]coq_8.12.0-3+b3_i386.buildinfo2020-11-25 07:18 17K 
[   ]coq_8.12.0-3+b3_amd64.buildinfo2020-11-25 07:28 17K 
[   ]coq_8.12.0-3+b3_ppc64el.buildinfo2020-11-25 07:28 16K 
[   ]coq_8.12.0-3+b3_armhf.buildinfo2020-11-25 07:43 16K 
[   ]coq_8.12.0-3+b3_arm64.buildinfo2020-11-25 07:58 16K 
[   ]coq_8.12.0-3+b3_mips64el.buildinfo2020-11-25 16:41 16K 
[   ]coq_8.12.0-3+b3_armel.buildinfo2020-11-25 17:44 16K 
[   ]coq_8.12.0-3+b3_mipsel.buildinfo2020-11-26 00:43 16K 
[   ]coq_8.14.0+dfsg-1_amd64-source.buildinfo2021-11-08 08:56 17K 
[   ]coq_8.14.0+dfsg-1_s390x.buildinfo2021-11-08 09:32 15K 
[   ]coq_8.14.0+dfsg-1_i386.buildinfo2021-11-08 09:42 15K 
[   ]coq_8.14.0+dfsg-1_ppc64el.buildinfo2021-11-08 09:42 15K 
[   ]coq_8.14.0+dfsg-1_arm64.buildinfo2021-11-08 09:57 15K 
[   ]coq_8.14.0+dfsg-1_armhf.buildinfo2021-11-08 10:13 15K 
[   ]coq_8.14.0+dfsg-2_amd64-source.buildinfo2021-11-11 18:40 17K 
[   ]coq_8.14.0+dfsg-3_source.buildinfo2021-11-13 11:35 15K 
[   ]coq_8.14.0+dfsg-3_i386.buildinfo2021-11-13 12:20 16K 
[   ]coq_8.14.0+dfsg-3_ppc64el.buildinfo2021-11-13 12:25 16K 
[   ]coq_8.14.0+dfsg-3_amd64.buildinfo2021-11-13 12:26 16K 
[   ]coq_8.14.0+dfsg-3_s390x.buildinfo2021-11-13 12:26 16K 
[   ]coq_8.14.0+dfsg-3_armhf.buildinfo2021-11-13 12:41 16K 
[   ]coq_8.14.0+dfsg-3_arm64.buildinfo2021-11-13 12:41 16K 
[   ]coq_8.14.0+dfsg-4_source.buildinfo2021-11-15 06:13 15K 
[   ]coq_8.14.0+dfsg-4_i386.buildinfo2021-11-15 06:38 16K 
[   ]coq_8.14.0+dfsg-4_amd64.buildinfo2021-11-15 06:43 16K 
[   ]coq_8.14.0+dfsg-4_ppc64el.buildinfo2021-11-15 06:43 16K 
[   ]coq_8.14.0+dfsg-4_s390x.buildinfo2021-11-15 06:43 16K 
[   ]coq_8.14.0+dfsg-4_armhf.buildinfo2021-11-15 06:58 16K 
[   ]coq_8.14.0+dfsg-4_arm64.buildinfo2021-11-15 07:03 16K 
[   ]coq_8.14.0+dfsg-5_source.buildinfo2021-11-16 06:42 15K 
[   ]coq_8.14.0+dfsg-5_i386.buildinfo2021-11-16 07:17 16K 
[   ]coq_8.14.0+dfsg-5_s390x.buildinfo2021-11-16 07:22 16K 
[   ]coq_8.14.0+dfsg-5_amd64.buildinfo2021-11-16 07:27 16K 
[   ]coq_8.14.0+dfsg-5_ppc64el.buildinfo2021-11-16 07:27 16K 
[   ]coq_8.14.0+dfsg-5_armhf.buildinfo2021-11-16 07:32 16K 
[   ]coq_8.14.0+dfsg-5_arm64.buildinfo2021-11-16 07:42 16K 
[   ]coq_8.14.0+dfsg-6_source.buildinfo2021-11-16 07:47 15K 
[   ]coq_8.14.0+dfsg-6_s390x.buildinfo2021-11-16 08:18 16K 
[   ]coq_8.14.0+dfsg-6_i386.buildinfo2021-11-16 08:19 16K 
[   ]coq_8.14.0+dfsg-6_ppc64el.buildinfo2021-11-16 08:29 16K 
[   ]coq_8.14.0+dfsg-6_amd64.buildinfo2021-11-16 08:29 16K 
[   ]coq_8.14.0+dfsg-6_armhf.buildinfo2021-11-16 08:44 16K 
[   ]coq_8.14.0+dfsg-6_arm64.buildinfo2021-11-16 08:59 16K 
[   ]coq_8.14.0+dfsg-6+b1_i386.buildinfo2021-11-22 08:12 16K 
[   ]coq_8.14.0+dfsg-6+b1_amd64.buildinfo2021-11-22 08:27 16K 
[   ]coq_8.14.0+dfsg-6+b1_arm64.buildinfo2021-11-22 08:57 16K 
[   ]coq_8.14.0+dfsg-6+b1_s390x.buildinfo2021-11-22 09:08 16K 
[   ]coq_8.14.0+dfsg-6+b1_armhf.buildinfo2021-11-22 09:13 16K 
[   ]coq_8.14.0+dfsg-6+b1_ppc64el.buildinfo2021-11-22 09:58 16K 
[   ]coq_8.14.1+dfsg-1_source.buildinfo2021-12-11 11:32 15K 
[   ]coq_8.14.1+dfsg-1_ppc64el.buildinfo2021-12-11 12:12 16K 
[   ]coq_8.14.1+dfsg-1_amd64.buildinfo2021-12-11 12:12 16K 
[   ]coq_8.14.1+dfsg-1_i386.buildinfo2021-12-11 12:13 16K 
[   ]coq_8.14.1+dfsg-1_s390x.buildinfo2021-12-11 12:13 16K 
[   ]coq_8.14.1+dfsg-1_armhf.buildinfo2021-12-11 12:18 16K 
[   ]coq_8.14.1+dfsg-1_arm64.buildinfo2021-12-11 12:43 16K 
[   ]coq_8.14.1+dfsg-2_source.buildinfo2022-01-17 08:05 15K 
[   ]coq_8.14.1+dfsg-2_i386.buildinfo2022-01-17 09:05 16K 
[   ]coq_8.14.1+dfsg-2_s390x.buildinfo2022-01-17 09:10 16K 
[   ]coq_8.14.1+dfsg-2_amd64.buildinfo2022-01-17 09:10 16K 
[   ]coq_8.14.1+dfsg-2_ppc64el.buildinfo2022-01-17 09:11 16K 
[   ]coq_8.14.1+dfsg-2_armhf.buildinfo2022-01-17 09:26 16K 
[   ]coq_8.14.1+dfsg-2_arm64.buildinfo2022-01-17 09:26 16K 
[   ]coq_8.15.0+dfsg-1_source.buildinfo2022-01-17 15:02 15K 
[   ]coq_8.15.0+dfsg-1_amd64.buildinfo2022-01-17 15:58 16K 
[   ]coq_8.15.0+dfsg-1_i386.buildinfo2022-01-17 15:58 16K 
[   ]coq_8.15.0+dfsg-1_ppc64el.buildinfo2022-01-17 15:59 16K 
[   ]coq_8.15.0+dfsg-1_s390x.buildinfo2022-01-17 16:14 16K 
[   ]coq_8.15.0+dfsg-1_armhf.buildinfo2022-01-17 16:14 16K 
[   ]coq_8.15.0+dfsg-1_arm64.buildinfo2022-01-17 16:14 16K 
[   ]coq_8.15.0+dfsg-1+b1_i386.buildinfo2022-01-20 23:48 16K 
[   ]coq_8.15.0+dfsg-1+b1_amd64.buildinfo2022-01-20 23:58 16K 
[   ]coq_8.15.0+dfsg-1+b1_s390x.buildinfo2022-01-20 23:58 16K 
[   ]coq_8.15.0+dfsg-1+b1_arm64.buildinfo2022-01-21 00:14 16K 
[   ]coq_8.15.0+dfsg-1+b1_ppc64el.buildinfo2022-01-21 00:40 16K 
[   ]coq_8.15.0+dfsg-1+b1_armhf.buildinfo2022-01-21 01:15 16K 
[   ]coq_8.15.0+dfsg-2_amd64-source.buildinfo2022-02-04 23:03 17K 
[   ]coq_8.15.0+dfsg-2_i386.buildinfo2022-02-05 13:44 16K 
[   ]coq_8.15.0+dfsg-2_ppc64el.buildinfo2022-02-05 13:44 16K 
[   ]coq_8.15.0+dfsg-2_s390x.buildinfo2022-02-05 13:50 16K 
[   ]coq_8.15.0+dfsg-2_armhf.buildinfo2022-02-05 14:00 16K 
[   ]coq_8.15.0+dfsg-2_arm64.buildinfo2022-02-05 14:00 16K 
[   ]coq_8.15.0+dfsg-2+b1_amd64.buildinfo2022-02-07 23:13 16K 
[   ]coq_8.15.1+dfsg-1_source.buildinfo2022-03-22 22:17 14K 
[   ]coq_8.15.1+dfsg-1_amd64.buildinfo2022-03-22 22:58 16K 
[   ]coq_8.15.1+dfsg-1_arm64.buildinfo2022-03-22 23:13 16K 
[   ]coq_8.15.1+dfsg-1_armhf.buildinfo2022-03-22 23:14 16K 
[   ]coq_8.15.1+dfsg-1_i386.buildinfo2022-03-22 23:14 16K 
[   ]coq_8.15.1+dfsg-1_ppc64el.buildinfo2022-03-22 23:29 16K 
[   ]coq_8.15.1+dfsg-1_s390x.buildinfo2022-03-23 00:40 16K 
[   ]coq_8.15.1+dfsg-2_source.buildinfo2022-05-20 18:23 14K 
[   ]coq_8.15.1+dfsg-2_s390x.buildinfo2022-05-20 19:03 16K 
[   ]coq_8.15.1+dfsg-2_amd64.buildinfo2022-05-20 19:13 16K 
[   ]coq_8.15.1+dfsg-2_i386.buildinfo2022-05-20 19:14 16K 
[   ]coq_8.15.1+dfsg-2_ppc64el.buildinfo2022-05-20 19:14 16K 
[   ]coq_8.15.1+dfsg-2_armhf.buildinfo2022-05-20 19:29 16K 
[   ]coq_8.15.1+dfsg-2_arm64.buildinfo2022-05-20 19:29 16K 
[   ]coq_8.15.2+dfsg-1_source.buildinfo2022-05-31 19:52 14K 
[   ]coq_8.15.2+dfsg-1_i386.buildinfo2022-05-31 21:13 16K 
[   ]coq_8.15.2+dfsg-1_amd64.buildinfo2022-05-31 21:28 16K 
[   ]coq_8.15.2+dfsg-1_ppc64el.buildinfo2022-05-31 21:28 16K 
[   ]coq_8.15.2+dfsg-1_arm64.buildinfo2022-05-31 21:42 16K 
[   ]coq_8.15.2+dfsg-1_armhf.buildinfo2022-05-31 22:28 16K 
[   ]coq_8.15.2+dfsg-1_s390x.buildinfo2022-06-01 00:14 16K 
[   ]coq_8.15.2+dfsg-2_source.buildinfo2022-06-11 20:44 14K 
[   ]coq_8.15.2+dfsg-2_ppc64el.buildinfo2022-06-11 21:30 16K 
[   ]coq_8.15.2+dfsg-2_amd64.buildinfo2022-06-11 21:42 16K 
[   ]coq_8.15.2+dfsg-2_i386.buildinfo2022-06-11 21:42 16K 
[   ]coq_8.15.2+dfsg-2_arm64.buildinfo2022-06-11 21:57 16K 
[   ]coq_8.15.2+dfsg-2_armhf.buildinfo2022-06-11 22:42 16K 
[   ]coq_8.15.2+dfsg-2_s390x.buildinfo2022-06-12 03:40 16K 
[   ]coq_8.16.0+dfsg-1_source.buildinfo2022-09-06 09:04 15K 
[   ]coq_8.16.0+dfsg-1_amd64.buildinfo2022-09-06 11:10 16K 
[   ]coq_8.16.0+dfsg-1_armhf.buildinfo2022-09-06 11:10 16K 
[   ]coq_8.16.0+dfsg-1_arm64.buildinfo2022-09-06 11:15 16K 
[   ]coq_8.16.0+dfsg-1_i386.buildinfo2022-09-06 12:26 16K 
[   ]coq_8.16.0+dfsg-1_ppc64el.buildinfo2022-09-06 12:56 16K 
[   ]coq_8.16.0+dfsg-1_s390x.buildinfo2022-09-06 17:45 16K 
[   ]coq_8.16.1+dfsg-1_source.buildinfo2022-11-29 08:35 15K 
[   ]coq_8.16.1+dfsg-1_i386.buildinfo2022-11-29 09:55 16K 
[   ]coq_8.16.1+dfsg-1_amd64.buildinfo2022-11-29 10:11 16K 
[   ]coq_8.16.1+dfsg-1_ppc64el.buildinfo2022-11-29 10:26 16K 
[   ]coq_8.16.1+dfsg-1_armhf.buildinfo2022-11-29 10:57 16K 
[   ]coq_8.16.1+dfsg-1_arm64.buildinfo2022-11-29 11:12 16K 
[   ]coq_8.16.1+dfsg-1_s390x.buildinfo2022-11-29 13:13 16K 
[   ]coq_8.16.1+dfsg-1+b1_s390x.buildinfo2023-01-23 18:24 16K 
[   ]coq_8.16.1+dfsg-1+b1_amd64.buildinfo2023-01-23 18:29 17K 
[   ]coq_8.16.1+dfsg-1+b1_arm64.buildinfo2023-01-23 18:44 17K 
[   ]coq_8.16.1+dfsg-1+b1_ppc64el.buildinfo2023-01-23 19:00 17K 
[   ]coq_8.16.1+dfsg-1+b1_armhf.buildinfo2023-01-23 19:15 17K 
[   ]coq_8.16.1+dfsg-1+b1_i386.buildinfo2023-01-23 19:26 17K 
[   ]coq_8.16.1+dfsg-1+b2_amd64.buildinfo2023-02-13 01:14 17K 
[   ]coq_8.16.1+dfsg-1+b2_i386.buildinfo2023-02-13 01:29 17K 
[   ]coq_8.16.1+dfsg-1+b2_s390x.buildinfo2023-02-13 01:45 16K 
[   ]coq_8.16.1+dfsg-1+b2_armhf.buildinfo2023-02-13 01:55 17K 
[   ]coq_8.16.1+dfsg-1+b2_arm64.buildinfo2023-02-13 01:55 17K 
[   ]coq_8.16.1+dfsg-1+b2_ppc64el.buildinfo2023-02-13 03:13 17K 
[   ]coq_8.17.0+dfsg-1_source.buildinfo2023-06-12 07:05 15K 
[   ]coq_8.17.0+dfsg-1_amd64.buildinfo2023-06-12 08:12 16K 
[   ]coq_8.17.0+dfsg-1_i386.buildinfo2023-06-12 09:12 16K 
[   ]coq_8.17.0+dfsg-1_s390x.buildinfo2023-06-12 09:12 16K 
[   ]coq_8.17.0+dfsg-1_armhf.buildinfo2023-06-12 20:02 16K 
[   ]coq_8.17.0+dfsg-1_arm64.buildinfo2023-06-13 04:34 16K 
[   ]coq_8.17.0+dfsg-1_ppc64el.buildinfo2023-06-15 06:10 16K 
[   ]coq_8.17.0+dfsg-1+b1_arm64.buildinfo2023-07-22 22:12 17K 
[   ]coq_8.17.0+dfsg-1+b1_armhf.buildinfo2023-07-22 22:12 17K 
[   ]coq_8.17.0+dfsg-1+b1_ppc64el.buildinfo2023-07-22 22:12 17K 
[   ]coq_8.17.0+dfsg-1+b1_amd64.buildinfo2023-07-22 22:12 17K 
[   ]coq_8.17.0+dfsg-1+b1_i386.buildinfo2023-07-22 22:57 17K 
[   ]coq_8.17.0+dfsg-1+b1_s390x.buildinfo2023-07-23 02:56 17K 
[   ]coq_8.17.0+dfsg-1+b2_amd64.buildinfo2023-07-23 05:13 17K 
[   ]coq_8.17.0+dfsg-1+b2_i386.buildinfo2023-07-23 05:13 17K 
[   ]coq_8.17.0+dfsg-1+b2_armhf.buildinfo2023-07-23 05:44 17K 
[   ]coq_8.17.0+dfsg-1+b2_ppc64el.buildinfo2023-07-23 06:40 17K 
[   ]coq_8.17.0+dfsg-1+b2_arm64.buildinfo2023-07-23 07:16 17K 
[   ]coq_8.17.0+dfsg-1+b2_s390x.buildinfo2023-07-23 21:40 17K 
[   ]coq_8.17.0+dfsg-1_riscv64.buildinfo2023-08-30 07:10 17K 
[   ]coq_8.17.0+dfsg-1+b3_s390x.buildinfo2023-09-22 06:40 19K 
[   ]coq_8.17.0+dfsg-1+b3_amd64.buildinfo2023-09-22 06:56 19K 
[   ]coq_8.17.0+dfsg-1+b3_i386.buildinfo2023-09-22 07:01 19K 
[   ]coq_8.17.0+dfsg-1+b3_armhf.buildinfo2023-09-22 07:16 19K 
[   ]coq_8.17.0+dfsg-1+b3_ppc64el.buildinfo2023-09-22 07:26 19K 
[   ]coq_8.17.0+dfsg-1+b3_arm64.buildinfo2023-09-22 07:57 19K 
[   ]coq_8.17.0+dfsg-1+b1_riscv64.buildinfo2023-09-23 18:02 19K 
[   ]coq_8.18.0+dfsg-1_source.buildinfo2023-12-21 13:58 16K 
[   ]coq_8.18.0+dfsg-1_s390x.buildinfo2023-12-21 15:14 17K 
[   ]coq_8.18.0+dfsg-1_arm64.buildinfo2023-12-21 15:19 17K 
[   ]coq_8.18.0+dfsg-1_armhf.buildinfo2023-12-21 15:24 17K 
[   ]coq_8.18.0+dfsg-1_ppc64el.buildinfo2023-12-21 16:50 17K 
[   ]coq_8.18.0+dfsg-1_amd64.buildinfo2023-12-21 17:16 17K 
[   ]coq_8.18.0+dfsg-1_i386.buildinfo2023-12-21 18:21 17K 
[   ]coq_8.18.0+dfsg-1_riscv64.buildinfo2023-12-22 00:09 17K 
[   ]coq_8.18.0+dfsg-1+b1_arm64.buildinfo2024-03-13 03:35 18K 
[   ]coq_8.18.0+dfsg-1+b1_ppc64el.buildinfo2024-03-13 04:28 18K 
[   ]coq_8.18.0+dfsg-1+b1_amd64.buildinfo2024-03-13 05:25 18K 
[   ]coq_8.18.0+dfsg-1+b1_i386.buildinfo2024-03-13 05:46 18K 
[   ]coq_8.18.0+dfsg-1+b1_s390x.buildinfo2024-03-13 11:53 17K 
[   ]coq_8.18.0+dfsg-1+b1_armhf.buildinfo2024-03-25 11:12 17K 
[   ]coq_8.18.0+dfsg-1+b1_riscv64.buildinfo2024-03-27 09:10 18K 

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