Index of /buildinfo-pool/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq_8.6-3_mips.buildinfo
2016-12-29 16:00
12K
coq_8.6-4_mips.buildinfo
2016-12-30 07:57
12K
coq_8.6-2_s390x.buildinfo
2016-12-28 23:27
12K
coq_8.6-3_s390x.buildinfo
2016-12-29 11:14
12K
coq_8.6-4_s390x.buildinfo
2016-12-30 05:27
12K
coq_8.6-2_mips64el.buildinfo
2016-12-29 06:27
12K
coq_8.6-3_mips64el.buildinfo
2016-12-29 16:45
12K
coq_8.6-4_mips64el.buildinfo
2016-12-30 14:29
12K
coq_8.6-3_mipsel.buildinfo
2016-12-29 21:16
12K
coq_8.6-4_mipsel.buildinfo
2016-12-30 07:57
12K
coq_8.6-2_ppc64el.buildinfo
2016-12-29 00:27
12K
coq_8.6-3_ppc64el.buildinfo
2016-12-29 12:14
12K
coq_8.6-4_ppc64el.buildinfo
2016-12-30 03:57
12K
coq_8.6-1_arm64.buildinfo
2016-12-28 14:44
13K
coq_8.6-2_arm64.buildinfo
2016-12-28 22:42
13K
coq_8.6-3_arm64.buildinfo
2016-12-29 11:29
13K
coq_8.6-4_arm64.buildinfo
2016-12-30 01:57
13K
coq_8.6-2_armel.buildinfo
2016-12-29 00:27
13K
coq_8.6-3_armel.buildinfo
2016-12-29 11:14
13K
coq_8.6-4_armel.buildinfo
2016-12-30 03:12
13K
coq_8.6-2_armhf.buildinfo
2016-12-29 01:27
13K
coq_8.6-3_armhf.buildinfo
2016-12-29 11:29
13K
coq_8.6-4_armhf.buildinfo
2016-12-30 03:12
13K
coq_8.6-1_powerpc.buildinfo
2016-12-28 14:44
13K
coq_8.6-2_powerpc.buildinfo
2016-12-28 22:42
13K
coq_8.6-3_powerpc.buildinfo
2016-12-29 10:29
13K
coq_8.6-4_powerpc.buildinfo
2016-12-30 02:12
13K
coq_8.6-4_hurd-i386.buildinfo
2016-12-30 09:23
13K
coq_8.6-1_hurd-i386.buildinfo
2016-12-28 15:14
13K
coq_8.6-3_hurd-i386.buildinfo
2016-12-29 11:34
13K
coq_8.6-5_mips.buildinfo
2017-09-26 17:49
13K
coq_8.6-5_mipsel.buildinfo
2017-09-26 20:30
13K
coq_8.6-5_powerpc.buildinfo
2017-09-26 11:14
13K
coq_8.8.2-1_hurd-i386.buildinfo
2019-01-07 09:23
13K
coq_8.9.0-1_hurd-i386.buildinfo
2019-02-06 21:41
13K
coq_8.6-5_mips64el.buildinfo
2017-09-26 22:26
13K
coq_8.6-5_armel.buildinfo
2017-10-06 17:59
13K
coq_8.6-5_hurd-i386.buildinfo
2017-09-26 12:40
13K
coq_8.6-4_kfreebsd-i386.buildinfo
2016-12-30 02:12
13K
coq_8.6-1_i386.buildinfo
2016-12-28 14:44
13K
coq_8.6-2_i386.buildinfo
2016-12-28 22:27
13K
coq_8.6-3_i386.buildinfo
2016-12-29 09:58
13K
coq_8.6-4_i386.buildinfo
2016-12-30 01:57
13K
coq_8.6-1_kfreebsd-i386.buildinfo
2016-12-28 14:44
13K
coq_8.6-2_kfreebsd-i386.buildinfo
2016-12-28 22:16
13K
coq_8.6-3_kfreebsd-i386.buildinfo
2016-12-29 09:58
13K
coq_8.6-4_kfreebsd-amd64.buildinfo
2016-12-30 03:57
13K
coq_8.6-1_kfreebsd-amd64.buildinfo
2016-12-28 14:44
13K
coq_8.6-2_kfreebsd-amd64.buildinfo
2016-12-28 22:26
13K
coq_8.6-3_kfreebsd-amd64.buildinfo
2016-12-29 09:58
13K
coq_8.6-4+b1_mips.buildinfo
2017-07-20 23:26
13K
coq_8.6-4+b1_s390x.buildinfo
2017-07-20 14:56
13K
coq_8.6-4+b1_mipsel.buildinfo
2017-07-21 04:12
13K
coq_8.6-4+b1_mips64el.buildinfo
2017-07-21 07:28
13K
coq_8.6-4+b1_powerpc.buildinfo
2017-07-20 13:41
13K
coq_8.6-4+b1_hurd-i386.buildinfo
2017-07-20 14:11
13K
coq_8.6-4+b1_ppc64el.buildinfo
2017-07-20 15:57
13K
coq_8.6-5_kfreebsd-i386.buildinfo
2017-09-26 11:19
13K
coq_8.6-5_kfreebsd-amd64.buildinfo
2017-09-27 14:26
13K
coq_8.9.0-1_mips.buildinfo
2019-02-07 03:15
13K
coq_8.9.0-1_mipsel.buildinfo
2019-02-07 00:59
13K
coq_8.9.0-1_mips64el.buildinfo
2019-02-09 08:29
13K
coq_8.9.0-1_armel.buildinfo
2019-02-07 01:44
13K
coq_8.6-1_amd64-source.buildinfo
2016-12-28 13:44
13K
coq_8.6-2_amd64-source.buildinfo
2016-12-28 20:21
13K
coq_8.6-3_amd64-source.buildinfo
2016-12-29 08:58
13K
coq_8.6-4_amd64-source.buildinfo
2016-12-30 00:56
13K
coq_8.9.1-3_source.buildinfo
2020-01-24 22:23
13K
coq_8.9.1-4_source.buildinfo
2020-01-27 07:44
13K
coq_8.9.1-5_source.buildinfo
2020-01-29 07:38
13K
coq_8.9.1-2_mipsel.buildinfo
2019-11-09 03:12
14K
coq_8.9.1-1_mips.buildinfo
2019-08-20 08:15
14K
coq_8.9.1-2_mips64el.buildinfo
2019-11-09 09:56
14K
coq_8.6-5_s390x.buildinfo
2017-09-26 11:14
14K
coq_8.9.1-1_mipsel.buildinfo
2019-08-20 09:40
14K
coq_8.9.1-2_armel.buildinfo
2019-11-08 22:42
14K
coq_8.8.2-1_s390x.buildinfo
2019-01-07 06:30
14K
coq_8.9.1-1_mips64el.buildinfo
2019-08-21 18:58
14K
coq_8.6-5_arm64.buildinfo
2017-09-26 11:45
14K
coq_8.6-4+b1_kfreebsd-i386.buildinfo
2017-07-20 14:11
14K
coq_8.9.0-1_s390x.buildinfo
2019-02-06 20:00
14K
coq_8.8.2-1_armhf.buildinfo
2019-01-07 06:40
14K
coq_8.6-4+b1_kfreebsd-amd64.buildinfo
2017-07-20 13:56
14K
coq_8.9.1-1_armel.buildinfo
2019-08-20 09:40
14K
coq_8.9.0-1_armhf.buildinfo
2019-02-07 21:15
14K
coq_8.8.2-1_arm64.buildinfo
2019-01-07 05:58
14K
coq_8.6-5_armhf.buildinfo
2017-09-26 13:27
14K
coq_8.9.0-1_arm64.buildinfo
2019-02-06 20:26
14K
coq_8.6-5_ppc64el.buildinfo
2017-09-26 11:14
14K
coq_8.8.2-1_ppc64el.buildinfo
2019-01-07 05:27
14K
coq_8.9.0-1_ppc64el.buildinfo
2019-02-06 20:00
14K
coq_8.9.1-2_s390x.buildinfo
2019-11-08 17:57
14K
coq_8.9.1-2_armhf.buildinfo
2019-11-08 17:42
14K
coq_8.9.0-1+b2_mips.buildinfo
2019-08-05 23:28
14K
coq_8.9.0-1+b1_mips.buildinfo
2019-07-29 12:44
14K
coq_8.9.1-2_arm64.buildinfo
2019-11-08 17:42
14K
coq_8.9.1-2+b1_mipsel.buildinfo
2019-12-05 17:25
14K
coq_8.8.2-1_kfreebsd-amd64.buildinfo
2019-01-08 21:58
14K
coq_8.9.0-1+b2_mipsel.buildinfo
2019-08-06 01:44
14K
coq_8.9.1-1_s390x.buildinfo
2019-08-20 04:23
14K
coq_8.9.1-1_armhf.buildinfo
2019-08-20 04:28
14K
coq_8.9.0-1+b1_mipsel.buildinfo
2019-07-29 16:45
14K
coq_8.9.0-1_kfreebsd-amd64.buildinfo
2019-02-08 03:36
14K
coq_8.9.1-2+b2_mipsel.buildinfo
2019-12-30 13:12
14K
coq_8.9.1-2+b1_armel.buildinfo
2019-12-03 15:44
14K
coq_8.9.1-2+b1_mips64el.buildinfo
2019-12-06 08:11
14K
coq_8.9.1-1_arm64.buildinfo
2019-08-20 04:43
14K
coq_8.9.1-2_ppc64el.buildinfo
2019-11-08 17:27
14K
coq_8.9.0-1+b2_mips64el.buildinfo
2019-08-05 23:13
14K
coq_8.9.0-1+b1_mips64el.buildinfo
2019-07-29 17:42
14K
coq_8.9.1-2+b2_mips64el.buildinfo
2019-12-30 09:26
14K
coq_8.9.0-1+b2_armel.buildinfo
2019-08-05 21:29
14K
coq_8.8.2-1_i386.buildinfo
2019-01-07 05:58
14K
coq_8.9.0-1+b1_armel.buildinfo
2019-07-29 14:11
14K
coq_8.9.1-4_mipsel.buildinfo
2020-01-27 16:42
14K
coq_8.9.1-5_mipsel.buildinfo
2020-01-31 08:28
14K
coq_8.9.0-1_i386.buildinfo
2019-02-06 20:21
14K
coq_8.6-5_i386.buildinfo
2017-09-26 11:14
14K
coq_8.9.1-2+b2_armel.buildinfo
2019-12-30 12:27
14K
coq_8.9.1-1_ppc64el.buildinfo
2019-08-20 04:13
14K
coq_8.9.1-4_mips64el.buildinfo
2020-01-28 21:27
14K
coq_8.9.1-5_mips64el.buildinfo
2020-01-30 12:41
14K
coq_8.6-4+b1_arm64.buildinfo
2017-07-20 14:26
14K
coq_8.9.1-5_armel.buildinfo
2020-01-29 13:58
14K
coq_8.6-4+b1_armel.buildinfo
2017-07-20 17:43
14K
coq_8.6-4+b1_armhf.buildinfo
2017-07-20 18:28
14K
coq_8.9.1-4_armel.buildinfo
2020-01-27 13:41
14K
coq_8.12.0-1_source.buildinfo
2020-08-22 09:26
14K
coq_8.6-5+b1_armhf.buildinfo
2017-10-06 12:13
14K
coq_8.12.0-2_source.buildinfo
2020-09-06 08:57
14K
coq_8.12.0-3_source.buildinfo
2020-09-10 06:38
14K
coq_8.9.1-2_i386.buildinfo
2019-11-08 17:57
14K
coq_8.9.1-2+b1_s390x.buildinfo
2019-12-03 08:11
14K
coq_8.9.1-2+b1_armhf.buildinfo
2019-12-03 08:16
14K
coq_8.9.0-1+b2_s390x.buildinfo
2019-08-05 18:58
14K
coq_8.9.0-1+b1_s390x.buildinfo
2019-07-29 08:48
14K
coq_8.9.1-1_i386.buildinfo
2019-08-20 04:07
14K
coq_8.9.1-2_amd64.buildinfo
2019-11-08 17:42
14K
coq_8.9.0-1+b1_armhf.buildinfo
2019-07-29 09:59
14K
coq_8.9.1-2+b2_s390x.buildinfo
2019-12-30 04:55
14K
coq_8.9.1-2+b1_arm64.buildinfo
2019-12-03 08:27
14K
coq_8.9.0-1+b2_armhf.buildinfo
2019-08-05 18:43
14K
coq_8.9.1-2+b2_armhf.buildinfo
2019-12-30 06:25
14K
coq_8.9.0-1+b2_arm64.buildinfo
2019-08-05 16:29
14K
coq_8.9.0-1+b1_arm64.buildinfo
2019-07-29 09:13
14K
coq_8.9.1-2+b2_arm64.buildinfo
2019-12-30 06:25
14K
coq_8.12.0-2_mipsel.buildinfo
2020-09-07 00:12
14K
coq_8.9.1-1_amd64.buildinfo
2019-08-20 04:28
14K
coq_8.12.0-1_armel.buildinfo
2020-08-22 13:14
14K
coq_8.12.0-2_armel.buildinfo
2020-09-06 19:28
14K
coq_8.12.0-2_mips64el.buildinfo
2020-09-06 16:42
14K
coq_8.9.1-2+b1_ppc64el.buildinfo
2019-12-03 08:58
14K
coq_8.9.1-5+b1_mipsel.buildinfo
2020-02-12 21:42
14K
coq_8.9.0-1+b2_ppc64el.buildinfo
2019-08-05 16:14
14K
coq_8.15.1+dfsg-2_source.buildinfo
2022-05-20 18:23
14K
coq_8.9.0-1+b1_ppc64el.buildinfo
2019-07-29 08:43
14K
coq_8.9.1-2+b2_ppc64el.buildinfo
2019-12-30 05:10
14K
coq_8.9.1-5+b1_mips64el.buildinfo
2020-02-13 19:45
14K
coq_8.15.1+dfsg-1_source.buildinfo
2022-03-22 22:17
14K
coq_8.9.1-5+b1_armel.buildinfo
2020-02-12 06:41
14K
coq_8.6-4+b1_i386.buildinfo
2017-07-20 13:41
14K
coq_8.15.2+dfsg-1_source.buildinfo
2022-05-31 19:52
14K
coq_8.15.2+dfsg-2_source.buildinfo
2022-06-11 20:44
14K
coq_8.6-4+b1_amd64.buildinfo
2017-07-20 13:56
14K
coq_8.8.2-1_amd64-source.buildinfo
2019-01-07 04:31
14K
coq_8.9.0-1_amd64-source.buildinfo
2019-02-06 18:49
14K
coq_8.9.1-2+b1_i386.buildinfo
2019-12-03 11:25
15K
coq_8.6-5_amd64-source.buildinfo
2017-09-26 10:04
15K
coq_8.9.1-3_s390x.buildinfo
2020-01-24 23:14
15K
coq_8.9.1-5_s390x.buildinfo
2020-01-29 08:18
15K
coq_8.9.1-4_s390x.buildinfo
2020-01-27 08:19
15K
coq_8.9.1-5_armhf.buildinfo
2020-01-29 09:56
15K
coq_8.9.1-3_armhf.buildinfo
2020-01-25 01:00
15K
coq_8.9.1-4_armhf.buildinfo
2020-01-27 10:00
15K
coq_8.9.0-1+b2_i386.buildinfo
2019-08-05 16:14
15K
coq_8.9.1-2+b2_i386.buildinfo
2019-12-30 05:05
15K
coq_8.9.1-5_arm64.buildinfo
2020-01-29 08:59
15K
coq_8.9.1-3_arm64.buildinfo
2020-01-25 00:45
15K
coq_8.9.0-1+b1_i386.buildinfo
2019-07-29 08:38
15K
coq_8.9.1-4_arm64.buildinfo
2020-01-27 08:59
15K
coq_8.9.1-2+b1_amd64.buildinfo
2019-12-03 12:12
15K
coq_8.9.1-2+b2_amd64.buildinfo
2019-12-30 05:25
15K
coq_8.9.0-1+b1_amd64.buildinfo
2019-07-29 08:58
15K
coq_8.9.0-1+b2_amd64.buildinfo
2019-08-05 16:29
15K
coq_8.9.1-5_ppc64el.buildinfo
2020-01-29 08:43
15K
coq_8.9.1-3_ppc64el.buildinfo
2020-01-24 23:14
15K
coq_8.9.1-4_ppc64el.buildinfo
2020-01-27 08:44
15K
coq_8.12.0-3_mipsel.buildinfo
2020-09-10 14:28
15K
coq_8.16.0+dfsg-1_source.buildinfo
2022-09-06 09:04
15K
coq_8.12.0-3_armel.buildinfo
2020-09-10 10:10
15K
coq_8.12.0-3_mips64el.buildinfo
2020-09-10 23:43
15K
coq_8.9.1-3_i386.buildinfo
2020-01-25 00:14
15K
coq_8.12.0-1_armhf.buildinfo
2020-08-22 10:43
15K
coq_8.12.0-2_armhf.buildinfo
2020-09-06 10:13
15K
coq_8.9.1-5_i386.buildinfo
2020-01-29 08:33
15K
coq_8.9.1-4_i386.buildinfo
2020-01-27 08:34
15K
coq_8.11.1~pre1-1_source.buildinfo
2020-04-16 18:57
15K
coq_8.9.1-5+b1_s390x.buildinfo
2020-02-11 16:56
15K
coq_8.12.0-1_arm64.buildinfo
2020-08-22 10:43
15K
coq_8.12.0-2_arm64.buildinfo
2020-09-06 10:28
15K
coq_8.9.1-5+b1_armhf.buildinfo
2020-02-11 18:45
15K
coq_8.9.1-5_amd64.buildinfo
2020-01-29 08:43
15K
coq_8.9.1-4_amd64.buildinfo
2020-01-27 08:44
15K
coq_8.9.1-3_amd64.buildinfo
2020-01-24 23:09
15K
coq_8.9.1-5+b1_arm64.buildinfo
2020-02-11 18:30
15K
coq_8.12.0-1_ppc64el.buildinfo
2020-08-22 10:43
15K
coq_8.12.0-2_ppc64el.buildinfo
2020-09-06 09:57
15K
coq_8.9.1-5+b1_ppc64el.buildinfo
2020-02-11 16:26
15K
coq_8.14.1+dfsg-1_source.buildinfo
2021-12-11 11:32
15K
coq_8.14.0+dfsg-6_source.buildinfo
2021-11-16 07:47
15K
coq_8.14.0+dfsg-3_source.buildinfo
2021-11-13 11:35
15K
coq_8.14.0+dfsg-4_source.buildinfo
2021-11-15 06:13
15K
coq_8.14.0+dfsg-5_source.buildinfo
2021-11-16 06:42
15K
coq_8.16.1+dfsg-1_source.buildinfo
2022-11-29 08:35
15K
coq_8.14.1+dfsg-2_source.buildinfo
2022-01-17 08:05
15K
coq_8.15.0+dfsg-1_source.buildinfo
2022-01-17 15:02
15K
coq_8.12.0-3+b1_mipsel.buildinfo
2020-10-02 19:41
15K
coq_8.12.0-3+b1_armel.buildinfo
2020-10-02 14:58
15K
coq_8.9.1-5+b1_i386.buildinfo
2020-02-11 16:26
15K
coq_8.14.0+dfsg-1_armhf.buildinfo
2021-11-08 10:13
15K
coq_8.12.0-2_i386.buildinfo
2020-09-06 10:13
15K
coq_8.12.0-3+b1_mips64el.buildinfo
2020-10-02 20:11
15K
coq_8.12.0-1_i386.buildinfo
2020-08-22 10:33
15K
coq_8.12.0-3_armhf.buildinfo
2020-09-10 07:43
15K
coq_8.14.0+dfsg-1_s390x.buildinfo
2021-11-08 09:32
15K
coq_8.12.0-1_amd64.buildinfo
2020-08-22 10:43
15K
coq_8.14.0+dfsg-1_i386.buildinfo
2021-11-08 09:42
15K
coq_8.12.0-2_amd64.buildinfo
2020-09-06 10:13
15K
coq_8.12.0-3_arm64.buildinfo
2020-09-10 07:43
15K
coq_8.9.1-5+b1_amd64.buildinfo
2020-02-11 20:29
15K
coq_8.14.0+dfsg-1_arm64.buildinfo
2021-11-08 09:57
15K
coq_8.11.1~pre1-1_mipsel.buildinfo
2020-04-24 13:27
15K
coq_8.17.0+dfsg-1_source.buildinfo
2023-06-12 07:05
15K
coq_8.14.0+dfsg-1_ppc64el.buildinfo
2021-11-08 09:42
15K
coq_8.11.1~pre1-1_mips64el.buildinfo
2020-05-03 03:26
15K
coq_8.12.0-3+b2_armel.buildinfo
2020-10-14 02:14
15K
coq_8.12.0-3_ppc64el.buildinfo
2020-09-10 07:43
15K
coq_8.12.0-3+b2_mipsel.buildinfo
2020-10-15 08:43
15K
coq_8.11.1~pre1-1_armel.buildinfo
2020-04-17 06:44
15K
coq_8.12.0-3+b2_mips64el.buildinfo
2020-10-16 02:12
15K
coq_8.12.0-3+b3_mipsel.buildinfo
2020-11-26 00:43
16K
coq_8.12.0-3_i386.buildinfo
2020-09-10 07:33
16K
coq_8.12.0-3+b3_armel.buildinfo
2020-11-25 17:44
16K
coq_8.14.0+dfsg-5_armhf.buildinfo
2021-11-16 07:32
16K
coq_8.14.1+dfsg-1_armhf.buildinfo
2021-12-11 12:18
16K
coq_8.12.0-3+b3_mips64el.buildinfo
2020-11-25 16:41
16K
coq_8.14.0+dfsg-6_armhf.buildinfo
2021-11-16 08:44
16K
coq_8.12.0-3_amd64.buildinfo
2020-09-10 07:58
16K
coq_8.14.0+dfsg-5_s390x.buildinfo
2021-11-16 07:22
16K
coq_8.14.0+dfsg-6_s390x.buildinfo
2021-11-16 08:18
16K
coq_8.14.0+dfsg-4_armhf.buildinfo
2021-11-15 06:58
16K
coq_8.12.0-3+b1_armhf.buildinfo
2020-10-02 14:28
16K
coq_8.14.1+dfsg-2_armhf.buildinfo
2022-01-17 09:26
16K
coq_8.15.0+dfsg-1_armhf.buildinfo
2022-01-17 16:14
16K
coq_8.14.0+dfsg-4_s390x.buildinfo
2021-11-15 06:43
16K
coq_8.14.0+dfsg-3_armhf.buildinfo
2021-11-13 12:41
16K
coq_8.14.1+dfsg-2_s390x.buildinfo
2022-01-17 09:10
16K
coq_8.15.0+dfsg-1_s390x.buildinfo
2022-01-17 16:14
16K
coq_8.14.1+dfsg-1_i386.buildinfo
2021-12-11 12:13
16K
coq_8.14.0+dfsg-5_i386.buildinfo
2021-11-16 07:17
16K
coq_8.14.0+dfsg-6_i386.buildinfo
2021-11-16 08:19
16K
coq_8.14.0+dfsg-5_arm64.buildinfo
2021-11-16 07:42
16K
coq_8.14.0+dfsg-6_arm64.buildinfo
2021-11-16 08:59
16K
coq_8.14.1+dfsg-1_arm64.buildinfo
2021-12-11 12:43
16K
coq_8.14.0+dfsg-3_s390x.buildinfo
2021-11-13 12:26
16K
coq_8.14.0+dfsg-4_arm64.buildinfo
2021-11-15 07:03
16K
coq_8.15.0+dfsg-1_i386.buildinfo
2022-01-17 15:58
16K
coq_8.12.0-3+b1_arm64.buildinfo
2020-10-02 12:57
16K
coq_8.14.0+dfsg-4_i386.buildinfo
2021-11-15 06:38
16K
coq_8.14.1+dfsg-2_i386.buildinfo
2022-01-17 09:05
16K
coq_8.14.0+dfsg-3_arm64.buildinfo
2021-11-13 12:41
16K
coq_8.14.0+dfsg-5_amd64.buildinfo
2021-11-16 07:27
16K
coq_8.14.0+dfsg-5_ppc64el.buildinfo
2021-11-16 07:27
16K
coq_8.14.0+dfsg-6_amd64.buildinfo
2021-11-16 08:29
16K
coq_8.14.0+dfsg-6_ppc64el.buildinfo
2021-11-16 08:29
16K
coq_8.14.1+dfsg-2_arm64.buildinfo
2022-01-17 09:26
16K
coq_8.15.0+dfsg-1_arm64.buildinfo
2022-01-17 16:14
16K
coq_8.14.1+dfsg-1_amd64.buildinfo
2021-12-11 12:12
16K
coq_8.14.1+dfsg-1_ppc64el.buildinfo
2021-12-11 12:12
16K
coq_8.14.0+dfsg-3_i386.buildinfo
2021-11-13 12:20
16K
coq_8.15.1+dfsg-1_armhf.buildinfo
2022-03-22 23:14
16K
coq_8.16.0+dfsg-1_s390x.buildinfo
2022-09-06 17:45
16K
coq_8.15.1+dfsg-1_s390x.buildinfo
2022-03-23 00:40
16K
coq_8.15.0+dfsg-2_armhf.buildinfo
2022-02-05 14:00
16K
coq_8.15.1+dfsg-2_armhf.buildinfo
2022-05-20 19:29
16K
coq_8.14.0+dfsg-4_amd64.buildinfo
2021-11-15 06:43
16K
coq_8.14.0+dfsg-4_ppc64el.buildinfo
2021-11-15 06:43
16K
coq_8.14.1+dfsg-2_amd64.buildinfo
2022-01-17 09:10
16K
coq_8.14.1+dfsg-2_ppc64el.buildinfo
2022-01-17 09:11
16K
coq_8.15.0+dfsg-1_amd64.buildinfo
2022-01-17 15:58
16K
coq_8.15.0+dfsg-1_ppc64el.buildinfo
2022-01-17 15:59
16K
coq_8.16.0+dfsg-1_armhf.buildinfo
2022-09-06 11:10
16K
coq_8.15.2+dfsg-1_s390x.buildinfo
2022-06-01 00:14
16K
coq_8.15.1+dfsg-2_i386.buildinfo
2022-05-20 19:14
16K
coq_8.15.2+dfsg-1_armhf.buildinfo
2022-05-31 22:28
16K
coq_8.14.0+dfsg-3_amd64.buildinfo
2021-11-13 12:26
16K
coq_8.14.0+dfsg-3_ppc64el.buildinfo
2021-11-13 12:25
16K
coq_8.15.0+dfsg-2_s390x.buildinfo
2022-02-05 13:50
16K
coq_8.15.1+dfsg-2_s390x.buildinfo
2022-05-20 19:03
16K
coq_8.12.0-3+b1_ppc64el.buildinfo
2020-10-02 12:27
16K
coq_8.15.2+dfsg-2_s390x.buildinfo
2022-06-12 03:40
16K
coq_8.12.0-3+b2_armhf.buildinfo
2020-10-13 23:30
16K
coq_8.15.2+dfsg-2_armhf.buildinfo
2022-06-11 22:42
16K
coq_8.15.1+dfsg-1_i386.buildinfo
2022-03-22 23:14
16K
coq_8.11.1~pre1-1_armhf.buildinfo
2020-04-16 21:15
16K
coq_8.16.0+dfsg-1_i386.buildinfo
2022-09-06 12:26
16K
coq_8.15.1+dfsg-1_arm64.buildinfo
2022-03-22 23:13
16K
coq_8.15.0+dfsg-2_i386.buildinfo
2022-02-05 13:44
16K
coq_8.14.1+dfsg-1_s390x.buildinfo
2021-12-11 12:13
16K
coq_8.15.2+dfsg-1_i386.buildinfo
2022-05-31 21:13
16K
coq_8.15.2+dfsg-2_i386.buildinfo
2022-06-11 21:42
16K
coq_8.15.0+dfsg-2_arm64.buildinfo
2022-02-05 14:00
16K
coq_8.15.1+dfsg-2_arm64.buildinfo
2022-05-20 19:29
16K
coq_8.15.1+dfsg-2_amd64.buildinfo
2022-05-20 19:13
16K
coq_8.12.0-3+b2_arm64.buildinfo
2020-10-13 23:13
16K
coq_8.16.1+dfsg-1_s390x.buildinfo
2022-11-29 13:13
16K
coq_8.15.1+dfsg-1_amd64.buildinfo
2022-03-22 22:58
16K
coq_8.15.1+dfsg-1_ppc64el.buildinfo
2022-03-22 23:29
16K
coq_8.15.2+dfsg-1_arm64.buildinfo
2022-05-31 21:42
16K
coq_8.15.2+dfsg-1_amd64.buildinfo
2022-05-31 21:28
16K
coq_8.16.0+dfsg-1_amd64.buildinfo
2022-09-06 11:10
16K
coq_8.16.0+dfsg-1_arm64.buildinfo
2022-09-06 11:15
16K
coq_8.11.1~pre1-1_arm64.buildinfo
2020-04-16 20:45
16K
coq_8.15.0+dfsg-2_ppc64el.buildinfo
2022-02-05 13:44
16K
coq_8.15.1+dfsg-2_ppc64el.buildinfo
2022-05-20 19:14
16K
coq_8.15.2+dfsg-2_arm64.buildinfo
2022-06-11 21:57
16K
coq_8.16.0+dfsg-1_ppc64el.buildinfo
2022-09-06 12:56
16K
coq_8.15.2+dfsg-2_amd64.buildinfo
2022-06-11 21:42
16K
coq_8.16.1+dfsg-1_armhf.buildinfo
2022-11-29 10:57
16K
coq_8.14.0+dfsg-6+b1_armhf.buildinfo
2021-11-22 09:13
16K
coq_8.15.2+dfsg-1_ppc64el.buildinfo
2022-05-31 21:28
16K
coq_8.20.0+dfsg-1_source.buildinfo
2024-11-20 09:52
16K
coq_8.14.0+dfsg-6+b1_s390x.buildinfo
2021-11-22 09:08
16K
coq_8.15.2+dfsg-2_ppc64el.buildinfo
2022-06-11 21:30
16K
coq_8.12.0-3+b2_ppc64el.buildinfo
2020-10-13 23:14
16K
coq_8.16.1+dfsg-1_i386.buildinfo
2022-11-29 09:55
16K
coq_8.11.1~pre1-1_ppc64el.buildinfo
2020-04-16 19:59
16K
coq_8.18.0+dfsg-1_source.buildinfo
2023-12-21 13:58
16K
coq_8.15.0+dfsg-1+b1_armhf.buildinfo
2022-01-21 01:15
16K
coq_8.14.0+dfsg-6+b1_i386.buildinfo
2021-11-22 08:12
16K
coq_8.16.1+dfsg-1_amd64.buildinfo
2022-11-29 10:11
16K
coq_8.12.0-3+b1_i386.buildinfo
2020-10-02 12:27
16K
coq_8.14.0+dfsg-6+b1_arm64.buildinfo
2021-11-22 08:57
16K
coq_8.16.1+dfsg-1_arm64.buildinfo
2022-11-29 11:12
16K
coq_8.11.0-1_source.buildinfo
2020-03-05 21:39
16K
coq_8.15.0+dfsg-1+b1_s390x.buildinfo
2022-01-20 23:58
16K
coq_8.16.1+dfsg-1_ppc64el.buildinfo
2022-11-29 10:26
16K
coq_8.17.0+dfsg-1_armhf.buildinfo
2023-06-12 20:02
16K
coq_8.12.0-3+b3_armhf.buildinfo
2020-11-25 07:43
16K
coq_8.17.0+dfsg-1_s390x.buildinfo
2023-06-12 09:12
16K
coq_8.14.0+dfsg-6+b1_amd64.buildinfo
2021-11-22 08:27
16K
coq_8.14.0+dfsg-6+b1_ppc64el.buildinfo
2021-11-22 09:58
16K
coq_8.12.0-3+b1_amd64.buildinfo
2020-10-02 12:27
16K
coq_8.15.0+dfsg-1+b1_arm64.buildinfo
2022-01-21 00:14
16K
coq_8.15.0+dfsg-1+b1_i386.buildinfo
2022-01-20 23:48
16K
coq_8.12.0-3+b3_arm64.buildinfo
2020-11-25 07:58
16K
coq_8.15.0+dfsg-1+b1_amd64.buildinfo
2022-01-20 23:58
16K
coq_8.17.0+dfsg-1_arm64.buildinfo
2023-06-13 04:34
16K
coq_8.12.0-3+b2_i386.buildinfo
2020-10-13 23:14
16K
coq_8.15.0+dfsg-1+b1_ppc64el.buildinfo
2022-01-21 00:40
16K
coq_8.11.1~pre1-1_i386.buildinfo
2020-04-16 21:25
16K
coq_8.17.0+dfsg-1_i386.buildinfo
2023-06-12 09:12
16K
coq_8.12.0-3+b3_ppc64el.buildinfo
2020-11-25 07:28
16K
coq_8.15.0+dfsg-2+b1_amd64.buildinfo
2022-02-07 23:13
16K
coq_8.12.0-3+b2_amd64.buildinfo
2020-10-13 23:13
16K
coq_8.17.0+dfsg-1_amd64.buildinfo
2023-06-12 08:12
16K
coq_8.17.0+dfsg-1_ppc64el.buildinfo
2023-06-15 06:10
16K
coq_8.11.1~pre1-1_amd64.buildinfo
2020-04-16 22:32
16K
coq_8.16.1+dfsg-1+b1_s390x.buildinfo
2023-01-23 18:24
16K
coq_8.16.1+dfsg-1+b2_s390x.buildinfo
2023-02-13 01:45
16K
coq_8.16.1+dfsg-1+b1_armhf.buildinfo
2023-01-23 19:15
17K
coq_8.16.1+dfsg-1+b2_armhf.buildinfo
2023-02-13 01:55
17K
coq_8.16.1+dfsg-1+b1_i386.buildinfo
2023-01-23 19:26
17K
coq_8.19.1+dfsg-3_s390x.buildinfo
2024-08-03 18:37
17K
coq_8.16.1+dfsg-1+b1_arm64.buildinfo
2023-01-23 18:44
17K
coq_8.12.0-3+b3_i386.buildinfo
2020-11-25 07:18
17K
coq_8.16.1+dfsg-1+b2_i386.buildinfo
2023-02-13 01:29
17K
coq_8.16.1+dfsg-1+b2_arm64.buildinfo
2023-02-13 01:55
17K
coq_8.17.0+dfsg-1+b1_s390x.buildinfo
2023-07-23 02:56
17K
coq_8.17.0+dfsg-1+b2_s390x.buildinfo
2023-07-23 21:40
17K
coq_8.16.1+dfsg-1+b1_ppc64el.buildinfo
2023-01-23 19:00
17K
coq_8.19.1+dfsg-3_armhf.buildinfo
2024-08-03 09:15
17K
coq_8.16.1+dfsg-1+b2_ppc64el.buildinfo
2023-02-13 03:13
17K
coq_8.16.1+dfsg-1+b1_amd64.buildinfo
2023-01-23 18:29
17K
coq_8.16.1+dfsg-1+b2_amd64.buildinfo
2023-02-13 01:14
17K
coq_8.18.0+dfsg-1_s390x.buildinfo
2023-12-21 15:14
17K
coq_8.12.0-3+b3_amd64.buildinfo
2020-11-25 07:28
17K
coq_8.17.0+dfsg-1+b1_armhf.buildinfo
2023-07-22 22:12
17K
coq_8.17.0+dfsg-1+b2_armhf.buildinfo
2023-07-23 05:44
17K
coq_8.18.0+dfsg-1_armhf.buildinfo
2023-12-21 15:24
17K
coq_8.18.0+dfsg-1_riscv64.buildinfo
2023-12-22 00:09
17K
coq_8.17.0+dfsg-1_riscv64.buildinfo
2023-08-30 07:10
17K
coq_8.19.1+dfsg-3_i386.buildinfo
2024-08-03 09:04
17K
coq_8.19.1+dfsg-3_arm64.buildinfo
2024-08-03 09:20
17K
coq_8.17.0+dfsg-1+b2_i386.buildinfo
2023-07-23 05:13
17K
coq_8.17.0+dfsg-1+b1_i386.buildinfo
2023-07-22 22:57
17K
coq_8.18.0+dfsg-1_i386.buildinfo
2023-12-21 18:21
17K
coq_8.19.1+dfsg-3_ppc64el.buildinfo
2024-08-03 09:09
17K
coq_8.17.0+dfsg-1+b1_arm64.buildinfo
2023-07-22 22:12
17K
coq_8.17.0+dfsg-1+b2_arm64.buildinfo
2023-07-23 07:16
17K
coq_8.18.0+dfsg-1_arm64.buildinfo
2023-12-21 15:19
17K
coq_8.19.1+dfsg-3_riscv64.buildinfo
2024-08-03 11:01
17K
coq_8.18.0+dfsg-1_ppc64el.buildinfo
2023-12-21 16:50
17K
coq_8.19.1+dfsg-3_amd64.buildinfo
2024-08-03 09:04
17K
coq_8.17.0+dfsg-1+b1_ppc64el.buildinfo
2023-07-22 22:12
17K
coq_8.17.0+dfsg-1+b2_ppc64el.buildinfo
2023-07-23 06:40
17K
coq_8.19.1+dfsg-2_s390x.buildinfo
2024-06-15 06:52
17K
coq_8.19.1+dfsg-1_source.buildinfo
2024-04-26 13:46
17K
coq_8.17.0+dfsg-1+b1_amd64.buildinfo
2023-07-22 22:12
17K
coq_8.17.0+dfsg-1+b2_amd64.buildinfo
2023-07-23 05:13
17K
coq_8.18.0+dfsg-1_amd64.buildinfo
2023-12-21 17:16
17K
coq_8.19.1+dfsg-2_armhf.buildinfo
2024-06-15 06:47
17K
coq_8.19.1+dfsg-3+b1_s390x.buildinfo
2024-08-10 22:28
17K
coq_8.19.1+dfsg-2_i386.buildinfo
2024-06-15 06:47
17K
coq_8.19.1+dfsg-1_s390x.buildinfo
2024-04-26 15:06
17K
coq_8.19.1+dfsg-2_riscv64.buildinfo
2024-06-15 08:13
17K
coq_8.19.1+dfsg-2_arm64.buildinfo
2024-06-15 07:02
17K
coq_8.19.1+dfsg-1_armhf.buildinfo
2024-04-26 14:56
17K
coq_8.19.1+dfsg-2_ppc64el.buildinfo
2024-06-15 06:47
17K
coq_8.19.1+dfsg-2_amd64.buildinfo
2024-06-15 06:46
17K
coq_8.19.1+dfsg-3+b1_ppc64el.buildinfo
2024-08-08 17:33
17K
coq_8.11.0-1_arm64.buildinfo
2020-03-05 22:58
17K
coq_8.19.1+dfsg-1_i386.buildinfo
2024-04-26 14:17
17K
coq_8.10.2-1_arm64.buildinfo
2020-01-16 05:41
17K
coq_8.19.1+dfsg-3+b1_arm64.buildinfo
2024-08-08 17:58
17K
coq_8.19.1+dfsg-1_arm64.buildinfo
2024-04-26 14:22
17K
coq_8.19.1+dfsg-3+b1_riscv64.buildinfo
2024-08-08 21:03
17K
coq_8.19.1+dfsg-1_ppc64el.buildinfo
2024-04-26 14:22
17K
coq_8.10.2-1_ppc64el.buildinfo
2020-01-13 10:55
17K
coq_8.11.0-1_ppc64el.buildinfo
2020-03-05 22:59
17K
coq_8.19.1+dfsg-3+b2_s390x.buildinfo
2024-08-20 18:47
17K
coq_8.19.1+dfsg-3+b1_amd64.buildinfo
2024-08-08 17:58
17K
coq_8.19.1+dfsg-1_amd64.buildinfo
2024-04-26 14:22
17K
coq_8.20.0+dfsg-1_s390x.buildinfo
2024-11-20 15:02
17K
coq_8.19.1+dfsg-1_riscv64.buildinfo
2024-04-26 18:50
17K
coq_8.14.0+dfsg-1_amd64-source.buildinfo
2021-11-08 08:56
17K
coq_8.14.0+dfsg-2_amd64-source.buildinfo
2021-11-11 18:40
17K
coq_8.18.0+dfsg-1+b1_armhf.buildinfo
2024-03-25 11:12
17K
coq_8.18.0+dfsg-1+b1_s390x.buildinfo
2024-03-13 11:53
17K
coq_8.19.1+dfsg-3+b2_ppc64el.buildinfo
2024-08-20 18:11
17K
coq_8.15.0+dfsg-2_amd64-source.buildinfo
2022-02-04 23:03
17K
coq_8.19.1+dfsg-3+b2_arm64.buildinfo
2024-08-20 18:16
17K
coq_8.19.1+dfsg-3+b2_riscv64.buildinfo
2024-08-20 19:44
18K
coq_8.20.0+dfsg-1_arm64.buildinfo
2024-11-20 10:58
18K
coq_8.20.0+dfsg-1_riscv64.buildinfo
2024-11-20 13:10
18K
coq_8.20.0+dfsg-1_ppc64el.buildinfo
2024-11-20 11:00
18K
coq_8.19.1+dfsg-3+b2_amd64.buildinfo
2024-08-20 18:10
18K
coq_8.20.0+dfsg-1_amd64.buildinfo
2024-11-20 10:33
18K
coq_8.19.1+dfsg-3+b3_ppc64el.buildinfo
2024-08-30 06:07
18K
coq_8.11.0-1+b1_arm64.buildinfo
2020-04-07 17:10
18K
coq_8.18.0+dfsg-1+b1_i386.buildinfo
2024-03-13 05:46
18K
coq_8.18.0+dfsg-1+b1_arm64.buildinfo
2024-03-13 03:35
18K
coq_8.11.0-1_amd64.buildinfo
2020-03-05 22:59
18K
coq_8.18.0+dfsg-1+b1_riscv64.buildinfo
2024-03-27 09:10
18K
coq_8.18.0+dfsg-1+b1_ppc64el.buildinfo
2024-03-13 04:28
18K
coq_8.11.0-1+b1_ppc64el.buildinfo
2020-04-07 15:13
18K
coq_8.18.0+dfsg-1+b1_amd64.buildinfo
2024-03-13 05:25
18K
coq_8.11.0-1+b1_amd64.buildinfo
2020-04-07 15:29
18K
coq_8.10.2-1_amd64-source.buildinfo
2020-01-01 21:03
18K
coq_8.17.0+dfsg-1+b3_s390x.buildinfo
2023-09-22 06:40
19K
coq_8.17.0+dfsg-1+b3_armhf.buildinfo
2023-09-22 07:16
19K
coq_8.17.0+dfsg-1+b3_arm64.buildinfo
2023-09-22 07:57
19K
coq_8.17.0+dfsg-1+b3_i386.buildinfo
2023-09-22 07:01
19K
coq_8.17.0+dfsg-1+b1_riscv64.buildinfo
2023-09-23 18:02
19K
coq_8.17.0+dfsg-1+b3_ppc64el.buildinfo
2023-09-22 07:26
19K
coq_8.17.0+dfsg-1+b3_amd64.buildinfo
2023-09-22 06:56
19K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443