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_arm64.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_hurd-i386.buildinfo2016-12-28 15:14 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_kfreebsd-i386.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-1_powerpc.buildinfo2016-12-28 14:44 13K 
[   ]coq_8.6-2_amd64-source.buildinfo2016-12-28 20:21 13K 
[   ]coq_8.6-2_arm64.buildinfo2016-12-28 22:42 13K 
[   ]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_i386.buildinfo2016-12-28 22:27 13K 
[   ]coq_8.6-2_kfreebsd-amd64.buildinfo2016-12-28 22:26 13K 
[   ]coq_8.6-2_kfreebsd-i386.buildinfo2016-12-28 22:16 13K 
[   ]coq_8.6-2_mips64el.buildinfo2016-12-29 06:27 12K 
[   ]coq_8.6-2_powerpc.buildinfo2016-12-28 22:42 13K 
[   ]coq_8.6-2_ppc64el.buildinfo2016-12-29 00:27 12K 
[   ]coq_8.6-2_s390x.buildinfo2016-12-28 23:27 12K 
[   ]coq_8.6-3_amd64-source.buildinfo2016-12-29 08:58 13K 
[   ]coq_8.6-3_arm64.buildinfo2016-12-29 11:29 13K 
[   ]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_hurd-i386.buildinfo2016-12-29 11:34 13K 
[   ]coq_8.6-3_i386.buildinfo2016-12-29 09:58 13K 
[   ]coq_8.6-3_kfreebsd-amd64.buildinfo2016-12-29 09:58 13K 
[   ]coq_8.6-3_kfreebsd-i386.buildinfo2016-12-29 09:58 13K 
[   ]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-3_powerpc.buildinfo2016-12-29 10:29 13K 
[   ]coq_8.6-3_ppc64el.buildinfo2016-12-29 12:14 12K 
[   ]coq_8.6-3_s390x.buildinfo2016-12-29 11:14 12K 
[   ]coq_8.6-4+b1_amd64.buildinfo2017-07-20 13:56 14K 
[   ]coq_8.6-4+b1_arm64.buildinfo2017-07-20 14:26 14K 
[   ]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_hurd-i386.buildinfo2017-07-20 14:11 13K 
[   ]coq_8.6-4+b1_i386.buildinfo2017-07-20 13:41 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_mips.buildinfo2017-07-20 23:26 13K 
[   ]coq_8.6-4+b1_mips64el.buildinfo2017-07-21 07:28 13K 
[   ]coq_8.6-4+b1_mipsel.buildinfo2017-07-21 04:12 13K 
[   ]coq_8.6-4+b1_powerpc.buildinfo2017-07-20 13:41 13K 
[   ]coq_8.6-4+b1_ppc64el.buildinfo2017-07-20 15:57 13K 
[   ]coq_8.6-4+b1_s390x.buildinfo2017-07-20 14:56 13K 
[   ]coq_8.6-4_amd64-source.buildinfo2016-12-30 00:56 13K 
[   ]coq_8.6-4_arm64.buildinfo2016-12-30 01:57 13K 
[   ]coq_8.6-4_armel.buildinfo2016-12-30 03:12 13K 
[   ]coq_8.6-4_armhf.buildinfo2016-12-30 03:12 13K 
[   ]coq_8.6-4_hurd-i386.buildinfo2016-12-30 09:23 13K 
[   ]coq_8.6-4_i386.buildinfo2016-12-30 01:57 13K 
[   ]coq_8.6-4_kfreebsd-amd64.buildinfo2016-12-30 03:57 13K 
[   ]coq_8.6-4_kfreebsd-i386.buildinfo2016-12-30 02:12 13K 
[   ]coq_8.6-4_mips.buildinfo2016-12-30 07:57 12K 
[   ]coq_8.6-4_mips64el.buildinfo2016-12-30 14:29 12K 
[   ]coq_8.6-4_mipsel.buildinfo2016-12-30 07:57 12K 
[   ]coq_8.6-4_powerpc.buildinfo2016-12-30 02:12 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-5+b1_armhf.buildinfo2017-10-06 12:13 14K 
[   ]coq_8.6-5_amd64-source.buildinfo2017-09-26 10:04 15K 
[   ]coq_8.6-5_arm64.buildinfo2017-09-26 11:45 14K 
[   ]coq_8.6-5_armel.buildinfo2017-10-06 17:59 13K 
[   ]coq_8.6-5_armhf.buildinfo2017-09-26 13:27 14K 
[   ]coq_8.6-5_hurd-i386.buildinfo2017-09-26 12:40 13K 
[   ]coq_8.6-5_i386.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.6-5_kfreebsd-amd64.buildinfo2017-09-27 14:26 13K 
[   ]coq_8.6-5_kfreebsd-i386.buildinfo2017-09-26 11:19 13K 
[   ]coq_8.6-5_mips.buildinfo2017-09-26 17:49 13K 
[   ]coq_8.6-5_mips64el.buildinfo2017-09-26 22:26 13K 
[   ]coq_8.6-5_mipsel.buildinfo2017-09-26 20:30 13K 
[   ]coq_8.6-5_powerpc.buildinfo2017-09-26 11:14 13K 
[   ]coq_8.6-5_ppc64el.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.6-5_s390x.buildinfo2017-09-26 11:14 14K 
[   ]coq_8.8.2-1_amd64-source.buildinfo2019-01-07 04:31 14K 
[   ]coq_8.8.2-1_arm64.buildinfo2019-01-07 05:58 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_i386.buildinfo2019-01-07 05:58 14K 
[   ]coq_8.8.2-1_kfreebsd-amd64.buildinfo2019-01-08 21:58 14K 
[   ]coq_8.8.2-1_ppc64el.buildinfo2019-01-07 05:27 14K 
[   ]coq_8.8.2-1_s390x.buildinfo2019-01-07 06:30 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_armel.buildinfo2019-07-29 14:11 14K 
[   ]coq_8.9.0-1+b1_armhf.buildinfo2019-07-29 09:59 14K 
[   ]coq_8.9.0-1+b1_i386.buildinfo2019-07-29 08:38 15K 
[   ]coq_8.9.0-1+b1_mips.buildinfo2019-07-29 12:44 14K 
[   ]coq_8.9.0-1+b1_mips64el.buildinfo2019-07-29 17:42 14K 
[   ]coq_8.9.0-1+b1_mipsel.buildinfo2019-07-29 16:45 14K 
[   ]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+b2_amd64.buildinfo2019-08-05 16:29 15K 
[   ]coq_8.9.0-1+b2_arm64.buildinfo2019-08-05 16:29 14K 
[   ]coq_8.9.0-1+b2_armel.buildinfo2019-08-05 21:29 14K 
[   ]coq_8.9.0-1+b2_armhf.buildinfo2019-08-05 18:43 14K 
[   ]coq_8.9.0-1+b2_i386.buildinfo2019-08-05 16:14 15K 
[   ]coq_8.9.0-1+b2_mips.buildinfo2019-08-05 23:28 14K 
[   ]coq_8.9.0-1+b2_mips64el.buildinfo2019-08-05 23:13 14K 
[   ]coq_8.9.0-1+b2_mipsel.buildinfo2019-08-06 01:44 14K 
[   ]coq_8.9.0-1+b2_ppc64el.buildinfo2019-08-05 16:14 14K 
[   ]coq_8.9.0-1+b2_s390x.buildinfo2019-08-05 18:58 14K 
[   ]coq_8.9.0-1_amd64-source.buildinfo2019-02-06 18:49 14K 
[   ]coq_8.9.0-1_arm64.buildinfo2019-02-06 20:26 14K 
[   ]coq_8.9.0-1_armel.buildinfo2019-02-07 01:44 13K 
[   ]coq_8.9.0-1_armhf.buildinfo2019-02-07 21:15 14K 
[   ]coq_8.9.0-1_hurd-i386.buildinfo2019-02-06 21:41 13K 
[   ]coq_8.9.0-1_i386.buildinfo2019-02-06 20:21 14K 
[   ]coq_8.9.0-1_kfreebsd-amd64.buildinfo2019-02-08 03:36 14K 
[   ]coq_8.9.0-1_mips.buildinfo2019-02-07 03:15 13K 
[   ]coq_8.9.0-1_mips64el.buildinfo2019-02-09 08:29 13K 
[   ]coq_8.9.0-1_mipsel.buildinfo2019-02-07 00:59 13K 
[   ]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.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_armel.buildinfo2019-08-20 09:40 14K 
[   ]coq_8.9.1-1_armhf.buildinfo2019-08-20 04:28 14K 
[   ]coq_8.9.1-1_i386.buildinfo2019-08-20 04:07 14K 
[   ]coq_8.9.1-1_mips.buildinfo2019-08-20 08:15 14K 
[   ]coq_8.9.1-1_mips64el.buildinfo2019-08-21 18:58 14K 
[   ]coq_8.9.1-1_mipsel.buildinfo2019-08-20 09:40 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-2+b1_amd64.buildinfo2019-12-03 12:12 15K 
[   ]coq_8.9.1-2+b1_arm64.buildinfo2019-12-03 08:27 14K 
[   ]coq_8.9.1-2+b1_armel.buildinfo2019-12-03 15:44 14K 
[   ]coq_8.9.1-2+b1_armhf.buildinfo2019-12-03 08:16 14K 
[   ]coq_8.9.1-2+b1_i386.buildinfo2019-12-03 11:25 15K 
[   ]coq_8.9.1-2+b1_mips64el.buildinfo2019-12-06 08:11 14K 
[   ]coq_8.9.1-2+b1_mipsel.buildinfo2019-12-05 17:25 14K 
[   ]coq_8.9.1-2+b1_ppc64el.buildinfo2019-12-03 08:58 14K 
[   ]coq_8.9.1-2+b1_s390x.buildinfo2019-12-03 08:11 14K 
[   ]coq_8.9.1-2+b2_amd64.buildinfo2019-12-30 05:25 15K 
[   ]coq_8.9.1-2+b2_arm64.buildinfo2019-12-30 06:25 14K 
[   ]coq_8.9.1-2+b2_armel.buildinfo2019-12-30 12:27 14K 
[   ]coq_8.9.1-2+b2_armhf.buildinfo2019-12-30 06:25 14K 
[   ]coq_8.9.1-2+b2_i386.buildinfo2019-12-30 05:05 15K 
[   ]coq_8.9.1-2+b2_mips64el.buildinfo2019-12-30 09:26 14K 
[   ]coq_8.9.1-2+b2_mipsel.buildinfo2019-12-30 13:12 14K 
[   ]coq_8.9.1-2+b2_ppc64el.buildinfo2019-12-30 05:10 14K 
[   ]coq_8.9.1-2+b2_s390x.buildinfo2019-12-30 04:55 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_armel.buildinfo2019-11-08 22:42 14K 
[   ]coq_8.9.1-2_armhf.buildinfo2019-11-08 17:42 14K 
[   ]coq_8.9.1-2_i386.buildinfo2019-11-08 17:57 14K 
[   ]coq_8.9.1-2_mips64el.buildinfo2019-11-09 09:56 14K 
[   ]coq_8.9.1-2_mipsel.buildinfo2019-11-09 03:12 14K 
[   ]coq_8.9.1-2_ppc64el.buildinfo2019-11-08 17:27 14K 
[   ]coq_8.9.1-2_s390x.buildinfo2019-11-08 17:57 14K 
[   ]coq_8.9.1-3_amd64.buildinfo2020-01-24 23:09 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-3_i386.buildinfo2020-01-25 00:14 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_source.buildinfo2020-01-24 22:23 13K 
[   ]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_armel.buildinfo2020-01-27 13:41 14K 
[   ]coq_8.9.1-4_armhf.buildinfo2020-01-27 10:00 15K 
[   ]coq_8.9.1-4_i386.buildinfo2020-01-27 08:34 15K 
[   ]coq_8.9.1-4_mips64el.buildinfo2020-01-28 21:27 14K 
[   ]coq_8.9.1-4_mipsel.buildinfo2020-01-27 16:42 14K 
[   ]coq_8.9.1-4_ppc64el.buildinfo2020-01-27 08:44 15K 
[   ]coq_8.9.1-4_s390x.buildinfo2020-01-27 08:19 15K 
[   ]coq_8.9.1-4_source.buildinfo2020-01-27 07:44 13K 
[   ]coq_8.9.1-5+b1_amd64.buildinfo2020-02-11 20:29 15K 
[   ]coq_8.9.1-5+b1_arm64.buildinfo2020-02-11 18:30 15K 
[   ]coq_8.9.1-5+b1_armel.buildinfo2020-02-12 06:41 14K 
[   ]coq_8.9.1-5+b1_armhf.buildinfo2020-02-11 18:45 15K 
[   ]coq_8.9.1-5+b1_i386.buildinfo2020-02-11 16:26 15K 
[   ]coq_8.9.1-5+b1_mips64el.buildinfo2020-02-13 19:45 14K 
[   ]coq_8.9.1-5+b1_mipsel.buildinfo2020-02-12 21:42 14K 
[   ]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_amd64.buildinfo2020-01-29 08:43 15K 
[   ]coq_8.9.1-5_arm64.buildinfo2020-01-29 08:59 15K 
[   ]coq_8.9.1-5_armel.buildinfo2020-01-29 13:58 14K 
[   ]coq_8.9.1-5_armhf.buildinfo2020-01-29 09:56 15K 
[   ]coq_8.9.1-5_i386.buildinfo2020-01-29 08:33 15K 
[   ]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_ppc64el.buildinfo2020-01-29 08:43 15K 
[   ]coq_8.9.1-5_s390x.buildinfo2020-01-29 08:18 15K 
[   ]coq_8.9.1-5_source.buildinfo2020-01-29 07:38 13K 
[   ]coq_8.10.2-1_amd64-source.buildinfo2020-01-01 21:03 18K 
[   ]coq_8.10.2-1_arm64.buildinfo2020-01-16 05:41 17K 
[   ]coq_8.10.2-1_ppc64el.buildinfo2020-01-13 10:55 17K 
[   ]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.0-1+b1_ppc64el.buildinfo2020-04-07 15:13 18K 
[   ]coq_8.11.0-1_amd64.buildinfo2020-03-05 22:59 18K 
[   ]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_source.buildinfo2020-03-05 21:39 16K 
[   ]coq_8.11.1~pre1-1_amd64.buildinfo2020-04-16 22:32 16K 
[   ]coq_8.11.1~pre1-1_arm64.buildinfo2020-04-16 20:45 16K 
[   ]coq_8.11.1~pre1-1_armel.buildinfo2020-04-17 06:44 15K 
[   ]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_mips64el.buildinfo2020-05-03 03:26 15K 
[   ]coq_8.11.1~pre1-1_mipsel.buildinfo2020-04-24 13:27 15K 
[   ]coq_8.11.1~pre1-1_ppc64el.buildinfo2020-04-16 19:59 16K 
[   ]coq_8.11.1~pre1-1_source.buildinfo2020-04-16 18:57 15K 
[   ]coq_8.12.0-1_amd64.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_arm64.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_armel.buildinfo2020-08-22 13:14 14K 
[   ]coq_8.12.0-1_armhf.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_i386.buildinfo2020-08-22 10:33 15K 
[   ]coq_8.12.0-1_ppc64el.buildinfo2020-08-22 10:43 15K 
[   ]coq_8.12.0-1_source.buildinfo2020-08-22 09:26 14K 
[   ]coq_8.12.0-2_amd64.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_arm64.buildinfo2020-09-06 10:28 15K 
[   ]coq_8.12.0-2_armel.buildinfo2020-09-06 19:28 14K 
[   ]coq_8.12.0-2_armhf.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_i386.buildinfo2020-09-06 10:13 15K 
[   ]coq_8.12.0-2_mips64el.buildinfo2020-09-06 16:42 14K 
[   ]coq_8.12.0-2_mipsel.buildinfo2020-09-07 00:12 14K 
[   ]coq_8.12.0-2_ppc64el.buildinfo2020-09-06 09:57 15K 
[   ]coq_8.12.0-2_source.buildinfo2020-09-06 08:57 14K 
[   ]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_armel.buildinfo2020-10-02 14:58 15K 
[   ]coq_8.12.0-3+b1_armhf.buildinfo2020-10-02 14:28 16K 
[   ]coq_8.12.0-3+b1_i386.buildinfo2020-10-02 12:27 16K 
[   ]coq_8.12.0-3+b1_mips64el.buildinfo2020-10-02 20:11 15K 
[   ]coq_8.12.0-3+b1_mipsel.buildinfo2020-10-02 19:41 15K 
[   ]coq_8.12.0-3+b1_ppc64el.buildinfo2020-10-02 12:27 16K 
[   ]coq_8.12.0-3+b2_amd64.buildinfo2020-10-13 23:13 16K 
[   ]coq_8.12.0-3+b2_arm64.buildinfo2020-10-13 23:13 16K 
[   ]coq_8.12.0-3+b2_armel.buildinfo2020-10-14 02:14 15K 
[   ]coq_8.12.0-3+b2_armhf.buildinfo2020-10-13 23:30 16K 
[   ]coq_8.12.0-3+b2_i386.buildinfo2020-10-13 23:14 16K 
[   ]coq_8.12.0-3+b2_mips64el.buildinfo2020-10-16 02:12 15K 
[   ]coq_8.12.0-3+b2_mipsel.buildinfo2020-10-15 08:43 15K 
[   ]coq_8.12.0-3+b2_ppc64el.buildinfo2020-10-13 23:14 16K 
[   ]coq_8.12.0-3+b3_amd64.buildinfo2020-11-25 07:28 17K 
[   ]coq_8.12.0-3+b3_arm64.buildinfo2020-11-25 07:58 16K 
[   ]coq_8.12.0-3+b3_armel.buildinfo2020-11-25 17:44 16K 
[   ]coq_8.12.0-3+b3_armhf.buildinfo2020-11-25 07:43 16K 
[   ]coq_8.12.0-3+b3_i386.buildinfo2020-11-25 07:18 17K 
[   ]coq_8.12.0-3+b3_mips64el.buildinfo2020-11-25 16:41 16K 
[   ]coq_8.12.0-3+b3_mipsel.buildinfo2020-11-26 00:43 16K 
[   ]coq_8.12.0-3+b3_ppc64el.buildinfo2020-11-25 07:28 16K 
[   ]coq_8.12.0-3_amd64.buildinfo2020-09-10 07:58 16K 
[   ]coq_8.12.0-3_arm64.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_armel.buildinfo2020-09-10 10:10 15K 
[   ]coq_8.12.0-3_armhf.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_i386.buildinfo2020-09-10 07:33 16K 
[   ]coq_8.12.0-3_mips64el.buildinfo2020-09-10 23:43 15K 
[   ]coq_8.12.0-3_mipsel.buildinfo2020-09-10 14:28 15K 
[   ]coq_8.12.0-3_ppc64el.buildinfo2020-09-10 07:43 15K 
[   ]coq_8.12.0-3_source.buildinfo2020-09-10 06:38 14K 

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