Index of /buildinfo-pool/c/coq-mtac2
Name
Last modified
Size
Description
Parent Directory
-
coq-mtac2_1.4+8.20-1_source.buildinfo
2024-11-23 15:27
7.0K
coq-mtac2_1.4+8.20-1_s390x.buildinfo
2024-11-23 15:57
7.0K
coq-mtac2_1.4+8.20-1_riscv64.buildinfo
2024-11-23 17:03
7.1K
coq-mtac2_1.4+8.20-1_ppc64el.buildinfo
2024-11-23 15:47
7.1K
coq-mtac2_1.4+8.20-1_arm64.buildinfo
2024-11-23 15:47
7.1K
coq-mtac2_1.4+8.20-1_amd64.buildinfo
2024-11-23 15:47
7.1K
coq-mtac2_1.4+8.20-1+b1_s390x.buildinfo
2024-11-23 18:32
7.3K
coq-mtac2_1.4+8.20-1+b1_ppc64el.buildinfo
2024-11-23 17:34
7.5K
coq-mtac2_1.4+8.19-3_source.buildinfo
2024-11-20 10:07
7.0K
coq-mtac2_1.4+8.19-3_s390x.buildinfo
2024-11-21 03:51
7.0K
coq-mtac2_1.4+8.19-3_riscv64.buildinfo
2024-11-20 18:08
7.1K
coq-mtac2_1.4+8.19-3_ppc64el.buildinfo
2024-11-20 17:32
7.1K
coq-mtac2_1.4+8.19-3_arm64.buildinfo
2024-11-20 17:37
7.1K
coq-mtac2_1.4+8.19-3_amd64.buildinfo
2024-11-20 15:07
7.1K
coq-mtac2_1.4+8.19-2_s390x.buildinfo
2024-08-04 12:29
6.6K
coq-mtac2_1.4+8.19-2_riscv64.buildinfo
2024-08-04 06:32
6.7K
coq-mtac2_1.4+8.19-2_ppc64el.buildinfo
2024-08-04 05:55
6.8K
coq-mtac2_1.4+8.19-2_i386.buildinfo
2024-08-04 06:22
6.7K
coq-mtac2_1.4+8.19-2_armhf.buildinfo
2024-08-04 06:01
6.6K
coq-mtac2_1.4+8.19-2_arm64.buildinfo
2024-08-04 05:55
6.7K
coq-mtac2_1.4+8.19-2_amd64.buildinfo
2024-08-04 06:06
6.8K
coq-mtac2_1.4+8.19-2+b3_ppc64el.buildinfo
2024-08-31 03:39
7.4K
coq-mtac2_1.4+8.19-2+b2_s390x.buildinfo
2024-08-21 05:36
7.2K
coq-mtac2_1.4+8.19-2+b2_riscv64.buildinfo
2024-08-21 07:49
7.3K
coq-mtac2_1.4+8.19-2+b2_ppc64el.buildinfo
2024-08-21 04:24
7.1K
coq-mtac2_1.4+8.19-2+b2_arm64.buildinfo
2024-08-21 04:24
7.3K
coq-mtac2_1.4+8.19-2+b2_amd64.buildinfo
2024-08-21 04:04
7.3K
coq-mtac2_1.4+8.19-2+b1_s390x.buildinfo
2024-08-12 04:35
7.2K
coq-mtac2_1.4+8.19-2+b1_riscv64.buildinfo
2024-08-12 04:46
7.3K
coq-mtac2_1.4+8.19-2+b1_ppc64el.buildinfo
2024-08-12 04:05
7.1K
coq-mtac2_1.4+8.19-2+b1_arm64.buildinfo
2024-08-12 04:05
7.3K
coq-mtac2_1.4+8.19-2+b1_amd64.buildinfo
2024-08-12 04:05
7.3K
coq-mtac2_1.4+8.19-1_source.buildinfo
2024-04-26 14:06
8.0K
coq-mtac2_1.4+8.19-1_s390x.buildinfo
2024-04-28 15:21
6.9K
coq-mtac2_1.4+8.19-1_riscv64.buildinfo
2024-04-28 15:47
6.9K
coq-mtac2_1.4+8.19-1_ppc64el.buildinfo
2024-04-28 15:11
7.0K
coq-mtac2_1.4+8.19-1_i386.buildinfo
2024-04-28 15:11
6.9K
coq-mtac2_1.4+8.19-1_armhf.buildinfo
2024-04-28 15:16
6.9K
coq-mtac2_1.4+8.19-1_arm64.buildinfo
2024-04-28 15:11
7.0K
coq-mtac2_1.4+8.19-1_amd64.buildinfo
2024-04-28 15:11
7.0K
coq-mtac2_1.4+8.19-1+b1_s390x.buildinfo
2024-06-15 22:42
7.0K
coq-mtac2_1.4+8.19-1+b1_riscv64.buildinfo
2024-06-15 12:31
7.0K
coq-mtac2_1.4+8.19-1+b1_ppc64el.buildinfo
2024-06-15 11:41
7.1K
coq-mtac2_1.4+8.19-1+b1_i386.buildinfo
2024-06-15 11:25
7.0K
coq-mtac2_1.4+8.19-1+b1_armhf.buildinfo
2024-06-15 11:41
7.0K
coq-mtac2_1.4+8.19-1+b1_arm64.buildinfo
2024-06-15 11:41
7.1K
coq-mtac2_1.4+8.19-1+b1_amd64.buildinfo
2024-06-15 11:25
7.1K
coq-mtac2_1.4+8.18-1_source.buildinfo
2023-12-22 11:07
7.7K
coq-mtac2_1.4+8.18-1_s390x.buildinfo
2023-12-23 11:52
6.9K
coq-mtac2_1.4+8.18-1_riscv64.buildinfo
2023-12-23 13:03
6.8K
coq-mtac2_1.4+8.18-1_ppc64el.buildinfo
2023-12-23 11:52
7.0K
coq-mtac2_1.4+8.18-1_i386.buildinfo
2023-12-23 11:52
7.0K
coq-mtac2_1.4+8.18-1_armhf.buildinfo
2023-12-23 11:52
6.9K
coq-mtac2_1.4+8.18-1_arm64.buildinfo
2023-12-23 11:52
7.1K
coq-mtac2_1.4+8.18-1_amd64.buildinfo
2023-12-23 11:52
7.1K
coq-mtac2_1.4+8.18-1+b1_s390x.buildinfo
2024-03-20 05:06
7.2K
coq-mtac2_1.4+8.18-1+b1_riscv64.buildinfo
2024-04-11 04:15
7.2K
coq-mtac2_1.4+8.18-1+b1_ppc64el.buildinfo
2024-03-19 19:11
7.4K
coq-mtac2_1.4+8.18-1+b1_i386.buildinfo
2024-03-19 19:11
7.3K
coq-mtac2_1.4+8.18-1+b1_armhf.buildinfo
2024-03-26 15:53
7.3K
coq-mtac2_1.4+8.18-1+b1_arm64.buildinfo
2024-03-19 19:16
7.3K
coq-mtac2_1.4+8.18-1+b1_amd64.buildinfo
2024-03-19 19:16
7.4K
coq-mtac2_1.4+8.17-1_source.buildinfo
2023-06-13 05:20
7.2K
coq-mtac2_1.4+8.17-1_s390x.buildinfo
2023-06-13 12:27
6.8K
coq-mtac2_1.4+8.17-1_riscv64.buildinfo
2023-09-05 15:50
6.8K
coq-mtac2_1.4+8.17-1_ppc64el.buildinfo
2023-06-19 21:57
6.9K
coq-mtac2_1.4+8.17-1_i386.buildinfo
2023-06-13 08:13
6.8K
coq-mtac2_1.4+8.17-1_armhf.buildinfo
2023-06-13 07:58
6.7K
coq-mtac2_1.4+8.17-1_arm64.buildinfo
2023-06-17 13:13
7.0K
coq-mtac2_1.4+8.17-1_amd64.buildinfo
2023-06-13 08:43
6.9K
coq-mtac2_1.4+8.17-1+b2_s390x.buildinfo
2023-09-22 13:43
7.2K
coq-mtac2_1.4+8.17-1+b2_ppc64el.buildinfo
2023-09-22 14:14
7.3K
coq-mtac2_1.4+8.17-1+b2_i386.buildinfo
2023-09-22 13:28
7.2K
coq-mtac2_1.4+8.17-1+b2_armhf.buildinfo
2023-09-22 13:28
7.2K
coq-mtac2_1.4+8.17-1+b2_arm64.buildinfo
2023-09-22 13:28
7.3K
coq-mtac2_1.4+8.17-1+b2_amd64.buildinfo
2023-09-22 13:28
7.3K
coq-mtac2_1.4+8.17-1+b1_s390x.buildinfo
2023-07-23 22:59
7.2K
coq-mtac2_1.4+8.17-1+b1_riscv64.buildinfo
2023-09-24 00:54
7.2K
coq-mtac2_1.4+8.17-1+b1_ppc64el.buildinfo
2023-07-23 06:14
7.3K
coq-mtac2_1.4+8.17-1+b1_i386.buildinfo
2023-07-23 07:26
7.3K
coq-mtac2_1.4+8.17-1+b1_armhf.buildinfo
2023-07-23 05:59
7.2K
coq-mtac2_1.4+8.17-1+b1_arm64.buildinfo
2023-07-23 05:44
7.3K
coq-mtac2_1.4+8.17-1+b1_amd64.buildinfo
2023-07-23 06:14
7.4K
coq-mtac2_1.4+8.16-2_source.buildinfo
2023-01-26 12:44
7.3K
coq-mtac2_1.4+8.16-2_s390x.buildinfo
2023-01-26 17:27
6.8K
coq-mtac2_1.4+8.16-2_ppc64el.buildinfo
2023-01-27 04:57
6.9K
coq-mtac2_1.4+8.16-2_i386.buildinfo
2023-01-26 14:10
6.8K
coq-mtac2_1.4+8.16-2_armhf.buildinfo
2023-01-26 14:25
6.8K
coq-mtac2_1.4+8.16-2_arm64.buildinfo
2023-01-26 15:11
6.9K
coq-mtac2_1.4+8.16-2_amd64.buildinfo
2023-01-26 15:26
6.9K
coq-mtac2_1.4+8.16-2+b1_s390x.buildinfo
2023-02-13 07:33
7.1K
coq-mtac2_1.4+8.16-2+b1_ppc64el.buildinfo
2023-02-14 11:17
7.2K
coq-mtac2_1.4+8.16-2+b1_i386.buildinfo
2023-02-13 07:34
7.1K
coq-mtac2_1.4+8.16-2+b1_armhf.buildinfo
2023-02-13 07:28
7.1K
coq-mtac2_1.4+8.16-2+b1_arm64.buildinfo
2023-02-13 07:28
7.2K
coq-mtac2_1.4+8.16-2+b1_amd64.buildinfo
2023-02-13 07:28
7.2K
coq-mtac2_1.4+8.16-1_source.buildinfo
2022-09-06 09:09
6.9K
coq-mtac2_1.4+8.16-1_s390x.buildinfo
2022-09-07 08:26
6.8K
coq-mtac2_1.4+8.16-1_ppc64el.buildinfo
2022-09-06 15:13
6.8K
coq-mtac2_1.4+8.16-1_i386.buildinfo
2022-09-06 19:42
6.8K
coq-mtac2_1.4+8.16-1_armhf.buildinfo
2022-09-06 12:56
6.7K
coq-mtac2_1.4+8.16-1_arm64.buildinfo
2022-09-06 12:56
6.8K
coq-mtac2_1.4+8.16-1_amd64.buildinfo
2022-09-06 12:26
6.8K
coq-mtac2_1.4+8.16-1+b3_s390x.buildinfo
2023-01-25 12:36
7.1K
coq-mtac2_1.4+8.16-1+b2_s390x.buildinfo
2023-01-24 02:26
7.1K
coq-mtac2_1.4+8.16-1+b2_ppc64el.buildinfo
2023-01-24 17:56
7.2K
coq-mtac2_1.4+8.16-1+b2_i386.buildinfo
2023-01-24 02:26
7.2K
coq-mtac2_1.4+8.16-1+b2_armhf.buildinfo
2023-01-24 03:27
7.1K
coq-mtac2_1.4+8.16-1+b2_arm64.buildinfo
2023-01-24 02:26
7.2K
coq-mtac2_1.4+8.16-1+b2_amd64.buildinfo
2023-01-24 01:56
7.2K
coq-mtac2_1.4+8.16-1+b1_s390x.buildinfo
2022-11-30 04:02
7.1K
coq-mtac2_1.4+8.16-1+b1_ppc64el.buildinfo
2022-11-30 03:42
7.3K
coq-mtac2_1.4+8.16-1+b1_i386.buildinfo
2022-11-30 01:35
7.2K
coq-mtac2_1.4+8.16-1+b1_armhf.buildinfo
2022-11-30 00:55
7.1K
coq-mtac2_1.4+8.16-1+b1_arm64.buildinfo
2022-11-30 01:25
7.2K
coq-mtac2_1.4+8.16-1+b1_amd64.buildinfo
2022-11-30 00:45
7.3K
coq-mtac2_1.4+8.15-3_source.buildinfo
2022-08-07 06:53
6.8K
coq-mtac2_1.4+8.15-3_s390x.buildinfo
2022-08-07 07:23
6.7K
coq-mtac2_1.4+8.15-3_ppc64el.buildinfo
2022-08-07 07:28
6.8K
coq-mtac2_1.4+8.15-3_i386.buildinfo
2022-08-07 07:23
6.8K
coq-mtac2_1.4+8.15-3_armhf.buildinfo
2022-08-07 07:28
6.7K
coq-mtac2_1.4+8.15-3_arm64.buildinfo
2022-08-07 07:28
6.8K
coq-mtac2_1.4+8.15-3_amd64.buildinfo
2022-08-07 07:28
6.8K
coq-mtac2_1.4+8.15-2_s390x.buildinfo
2022-07-22 21:41
6.7K
coq-mtac2_1.4+8.15-2_ppc64el.buildinfo
2022-07-21 04:11
6.8K
coq-mtac2_1.4+8.15-2_i386.buildinfo
2022-07-21 06:28
6.8K
coq-mtac2_1.4+8.15-2_armhf.buildinfo
2022-07-21 02:40
6.7K
coq-mtac2_1.4+8.15-2_arm64.buildinfo
2022-07-20 20:40
6.8K
coq-mtac2_1.4+8.15-2_amd64-source.buildinfo
2022-07-19 07:41
7.3K
coq-mtac2_1.4+8.15-2+b1_amd64.buildinfo
2022-07-27 00:59
7.1K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443