build history of coq-unicoq
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-06-07 14:10:00 |
1.6-8.19-1 |
unstable |
i386 |
reproducible |
3m 31s |
ionos12-i386 |
ionos16-i386 |
i386_7/31367 |
| 2024-06-06 01:21:00 |
1.6-8.19-1 |
unstable |
amd64 |
reproducible |
11m 28s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/8632 |
| 2024-06-03 09:32:00 |
1.6-8.18-1 |
trixie |
arm64 |
reproducible |
2m 8s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/47321 |
| 2024-05-31 09:42:00 |
1.6-8.18-1 |
trixie |
amd64 |
reproducible |
3m 49s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/21846 |
| 2024-05-18 13:37:00 |
1.6-8.19-1 |
unstable |
arm64 |
reproducible |
2m 4s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/18211 |
| 2024-05-17 02:16:00 |
1.6-8.19-1 |
unstable |
amd64 |
reproducible |
6m 0s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/21306 |
| 2024-05-15 00:55:00 |
1.6-8.18-1 |
trixie |
i386 |
reproducible |
2m 9s |
ionos6-i386 |
ionos12-i386 |
i386_6/24151 |
| 2024-05-12 21:13:00 |
1.6-8.18-1 |
trixie |
arm64 |
reproducible |
1m 49s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/19888 |
| 2024-05-10 18:37:00 |
1.6-8.18-1 |
trixie |
amd64 |
reproducible |
4m 49s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/7026 |
| 2024-04-27 13:18:00 |
1.6-8.19-1 |
unstable |
armhf |
reproducible |
12m 11s |
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/2021 |
| 2024-04-27 05:44:00 |
1.6-8.19-1 |
unstable |
i386 |
reproducible |
2m 39s |
ionos16-i386 |
ionos2-i386 |
i386_4/18606 |
| 2024-04-27 00:27:00 |
1.6-8.19-1 |
unstable |
arm64 |
reproducible |
2m 31s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/17027 |
| 2024-04-27 00:12:00 |
1.6-8.19-1 |
unstable |
amd64 |
reproducible |
5m 20s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/5437 |
| 2024-04-26 21:27:00 |
1.6-8.19-1 |
unstable |
armhf |
404 |
|
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/1931 |
| 2024-04-22 03:00:00 |
1.6-8.18-1 |
trixie |
amd64 |
reproducible |
1m 46s |
infom02-amd64 |
infom01-amd64 |
amd64_38/6145 |
| 2024-04-21 17:44:00 |
1.6-8.18-1 |
trixie |
armhf |
reproducible |
8m 16s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/2388 |
| 2024-04-19 22:31:00 |
1.6-8.18-1 |
trixie |
arm64 |
reproducible |
2m 44s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/13581 |
| 2024-04-19 09:08:00 |
1.6-8.18-1 |
unstable |
amd64 |
reproducible |
6m 45s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/3625 |
| 2024-04-17 11:02:00 |
1.6-8.18-1 |
unstable |
arm64 |
reproducible |
2m 58s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/36044 |
| 2024-04-04 17:12:00 |
1.6-8.18-1 |
trixie |
amd64 |
reproducible |
1m 50s |
infom02-amd64 |
infom01-amd64 |
amd64_38/2944 |
| 2024-03-31 08:56:00 |
1.6-8.18-1 |
unstable |
amd64 |
reproducible |
3m 46s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/15117 |
| 2024-03-22 02:47:00 |
1.6-8.18-1 |
trixie |
arm64 |
reproducible |
2m 10s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/33579 |
| 2024-03-19 13:26:00 |
1.6-8.18-1 |
unstable |
arm64 |
reproducible |
2m 39s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/32845 |
| 2024-02-17 15:36:00 |
1.6-8.18-1 |
trixie |
i386 |
reproducible |
2m 57s |
ionos12-i386 |
ionos16-i386 |
i386_7/18361 |
| 2024-02-01 14:05:00 |
1.6-8.18-1 |
trixie |
amd64 |
reproducible |
3m 26s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/12795 |
| 2024-02-01 11:40:00 |
1.6-8.18-1 |
trixie |
armhf |
reproducible |
10m 52s |
wbq0-armhf-rb |
virt64a-armhf-rb |
armhf_37/311 |
| 2024-01-27 03:56:00 |
1.6-8.18-1 |
trixie |
arm64 |
reproducible |
2m 44s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/26212 |
| 2024-01-17 02:00:00 |
1.6-8.18-1 |
unstable |
arm64 |
reproducible |
1m 52s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/212 |
| 2024-01-05 10:52:00 |
1.6-8.18-1 |
unstable |
i386 |
reproducible |
3m 6s |
ionos12-i386 |
ionos6-i386 |
i386_5/6742 |
| 2023-12-31 13:49:00 |
1.6-8.18-1 |
unstable |
armhf |
reproducible |
9m 40s |
virt32a-armhf-rb |
virt64a-armhf-rb |
armhf_29/10687 |
| 2023-12-29 04:42:00 |
1.6-8.18-1 |
unstable |
amd64 |
reproducible |
6m 16s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/12456 |
| 2023-12-26 20:47:00 |
1.6-8.17-1 |
trixie |
arm64 |
reproducible |
2m 14s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/20218 |
| 2023-12-23 10:46:00 |
1.6-8.18-1 |
unstable |
arm64 |
reproducible |
1m 45s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/16498 |
| 2023-12-07 18:56:00 |
1.6-8.17-1 |
trixie |
arm64 |
reproducible |
1m 48s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/11777 |
| 2023-12-04 10:22:00 |
1.6-8.17-1 |
unstable |
arm64 |
reproducible |
1m 55s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/7172 |
| 2023-11-18 10:33:00 |
1.6-8.17-1 |
trixie |
amd64 |
reproducible |
5m 18s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/1011 |
| 2023-11-16 13:55:00 |
1.6-8.17-1 |
trixie |
arm64 |
reproducible |
2m 4s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/2126 |
| 2023-11-13 17:33:00 |
1.6-8.17-1 |
unstable |
arm64 |
reproducible |
7m 0s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/5996 |
| 2023-11-13 00:05:00 |
1.6-8.17-1 |
unstable |
amd64 |
reproducible |
2m 55s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/3591 |
| 2023-11-08 06:57:00 |
1.6-8.17-1 |
unstable |
armhf |
reproducible |
15m 7s |
cbxi4pro0-armhf-rb |
virt64b-armhf-rb |
armhf_42/2212 |
| 2023-11-06 11:48:00 |
1.6-8.17-1 |
trixie |
armhf |
reproducible |
7m 49s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/2534 |
| 2023-10-18 13:12:00 |
1.6-8.17-1 |
trixie |
arm64 |
reproducible |
5m 28s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/173 |
| 2023-10-04 12:31:00 |
1.6-8.17-1 |
trixie |
amd64 |
unreproducible |
8m 19s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/3947 |
| 2023-09-29 21:21:00 |
1.6-8.17-1 |
unstable |
arm64 |
reproducible |
4m 17s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/442 |
| 2023-07-26 16:12:00 |
1.6-8.17-1 |
unstable |
amd64 |
reproducible |
2m 17s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/4560 |
| 2023-06-26 09:26:00 |
1.6-8.17-1 |
trixie |
i386 |
reproducible |
1m 53s |
ionos6-i386 |
ionos2-i386 |
i386_2/2689 |
| 2023-06-24 20:56:00 |
1.6-8.17-1 |
trixie |
amd64 |
reproducible |
3m 31s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/2254 |
| 2023-06-24 20:03:00 |
1.6-8.17-1 |
trixie |
arm64 |
reproducible |
5m 9s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/2726 |
| 2023-06-24 17:36:00 |
1.6-8.17-1 |
trixie |
armhf |
reproducible |
13m 42s |
jtx1b-armhf-rb |
virt32a-armhf-rb |
armhf_10/3909 |
| 2023-06-20 04:20:00 |
1.6-8.17-1 |
unstable |
arm64 |
reproducible |
4m 50s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/2319 |
| 2023-06-17 13:00:00 |
1.6-8.17-1 |
unstable |
i386 |
FTBFS |
3m 3s |
ionos2-i386 |
ionos6-i386 |
i386_1/1178 |
| 2023-06-17 11:53:00 |
1.6-8.17-1 |
unstable |
amd64 |
FTBFS |
2m 36s |
ionos11-amd64 |
ionos15-amd64 |
amd64_15/1393 |
| 2023-06-17 06:39:00 |
1.6-8.17-1 |
unstable |
armhf |
FTBFS |
11m 21s |
virt64a-armhf-rb |
ff4a-armhf-rb |
armhf_8/10689 |
| 2023-06-05 05:25:00 |
1.6-8.16-2 |
bookworm |
amd64 |
reproducible |
3m 33s |
ionos1-amd64 |
ionos5-amd64 |
amd64_1/344 |
| 2023-05-30 08:58:00 |
1.6-8.16-2 |
bookworm |
armhf |
reproducible |
13m 23s |
virt32a-armhf-rb |
ff64a-armhf-rb |
armhf_14/8968 |
| 2023-05-20 13:04:00 |
1.6-8.16-2 |
bookworm |
i386 |
reproducible |
2m 12s |
ionos12-i386 |
ionos16-i386 |
i386_7/9991 |
| 2023-05-08 06:46:00 |
1.6-8.16-2 |
unstable |
armhf |
reproducible |
7m 4s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/1325 |
| 2023-05-04 00:37:00 |
1.6-8.16-2 |
unstable |
amd64 |
reproducible |
3m 46s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/23688 |
| 2023-04-18 09:23:00 |
1.6-8.16-2 |
bookworm |
armhf |
reproducible |
8m 57s |
ff4a-armhf-rb |
virt64b-armhf-rb |
armhf_24/8081 |
| 2023-04-17 19:43:00 |
1.6-8.16-2 |
bookworm |
arm64 |
reproducible |
5m 41s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/27466 |
| 2023-04-10 23:57:00 |
1.6-8.16-2 |
unstable |
arm64 |
reproducible |
6m 23s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/5819 |
| 2023-04-10 17:24:00 |
1.6-8.16-2 |
bookworm |
amd64 |
reproducible |
6m 34s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/3881 |
| 2023-04-02 02:02:00 |
1.6-8.16-2 |
bookworm |
i386 |
reproducible |
12m 48s |
ionos2-i386 |
ionos6-i386 |
i386_1/2013 |
| 2023-03-29 14:42:00 |
1.6-8.16-2 |
unstable |
amd64 |
reproducible |
4m 51s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/12217 |
| 2023-03-19 16:29:00 |
1.6-8.16-2 |
unstable |
armhf |
reproducible |
21m 16s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/3573 |
| 2023-03-13 18:04:00 |
1.6-8.16-2 |
bookworm |
arm64 |
reproducible |
4m 17s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/23337 |
| 2023-03-13 01:54:00 |
1.6-8.16-2 |
bookworm |
armhf |
reproducible |
6m 57s |
virt32c-armhf-rb |
jtx1c-armhf-rb |
armhf_25/4073 |
| 2023-03-09 08:58:00 |
1.6-8.16-2 |
unstable |
arm64 |
reproducible |
3m 30s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/460 |
| 2023-03-06 10:37:00 |
1.6-8.16-2 |
bookworm |
amd64 |
reproducible |
2m 0s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/7440 |
| 2023-03-01 06:24:00 |
1.6-8.16-2 |
unstable |
amd64 |
reproducible |
2m 41s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/2299 |
| 2023-02-01 08:38:00 |
1.6-8.16-2 |
bookworm |
i386 |
reproducible |
2m 36s |
ionos2-i386 |
ionos6-i386 |
i386_1/1556 |
| 2023-01-30 22:52:00 |
1.6-8.16-2 |
bookworm |
arm64 |
reproducible |
11m 12s |
codethink13-arm64 |
codethink12-arm64 |
arm64_18/2702 |
| 2023-01-30 20:02:00 |
1.6-8.16-2 |
bookworm |
amd64 |
reproducible |
5m 39s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/8027 |
| 2023-01-30 19:05:00 |
1.6-8.16-2 |
bookworm |
armhf |
reproducible |
20m 22s |
ff4a-armhf-rb |
jtx1a-armhf-rb |
armhf_3/377 |
| 2023-01-28 01:13:00 |
1.6-8.16-2 |
unstable |
i386 |
reproducible |
2m 11s |
ionos16-i386 |
ionos12-i386 |
i386_8/513 |
| 2023-01-25 21:36:00 |
1.6-8.16-2 |
unstable |
armhf |
reproducible |
10m 51s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/1261 |
| 2023-01-25 19:26:00 |
1.6-8.16-2 |
unstable |
arm64 |
reproducible |
3m 33s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/16062 |
| 2023-01-25 19:09:00 |
1.6-8.16-2 |
unstable |
amd64 |
reproducible |
4m 35s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/8570 |
| 2023-01-18 15:36:00 |
1.6-8.16-1 |
bookworm |
arm64 |
reproducible |
4m 47s |
codethink13-arm64 |
codethink12-arm64 |
arm64_18/1745 |
| 2023-01-18 01:17:00 |
1.6-8.16-1 |
bookworm |
amd64 |
reproducible |
2m 18s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/7466 |
| 2023-01-12 13:44:00 |
1.6-8.16-1 |
unstable |
arm64 |
reproducible |
4m 23s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/17911 |
| 2022-12-30 21:37:00 |
1.6-8.16-1 |
unstable |
amd64 |
reproducible |
4m 46s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/3949 |
| 2022-12-28 14:40:00 |
1.6-8.16-1 |
bookworm |
armhf |
reproducible |
5m 31s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/2019 |
| 2022-12-25 15:59:00 |
1.6-8.16-1 |
bookworm |
i386 |
reproducible |
1m 46s |
ionos12-i386 |
ionos16-i386 |
i386_7/3491 |
| 2022-11-30 00:52:00 |
1.6-8.16-1 |
bookworm |
arm64 |
reproducible |
4m 36s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/13018 |
| 2022-11-27 14:24:00 |
1.6-8.16-1 |
unstable |
arm64 |
reproducible |
5m 0s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/1422 |
| 2022-11-25 21:45:00 |
1.6-8.16-1 |
bookworm |
amd64 |
reproducible |
4m 47s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/16761 |
| 2022-11-19 08:49:00 |
1.6-8.16-1 |
unstable |
armhf |
reproducible |
12m 0s |
jtx1c-armhf-rb |
cbxi4a-armhf-rb |
armhf_28/1294 |
| 2022-11-19 01:00:00 |
1.6-8.16-1 |
unstable |
amd64 |
reproducible |
2m 52s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/11596 |
| 2022-11-04 13:27:00 |
1.6-8.16-1 |
bookworm |
armhf |
reproducible |
7m 21s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/236 |
| 2022-10-27 07:47:00 |
1.6-8.16-1 |
bookworm |
arm64 |
reproducible |
5m 17s |
codethink13-arm64 |
codethink12-arm64 |
arm64_18/11133 |
| 2022-10-25 05:14:00 |
1.6-8.16-1 |
unstable |
arm64 |
reproducible |
4m 10s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/9720 |
| 2022-10-25 01:00:00 |
1.6-8.16-1 |
bookworm |
amd64 |
reproducible |
3m 45s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/6586 |
| 2022-10-20 09:10:00 |
1.6-8.16-1 |
unstable |
amd64 |
reproducible |
8m 14s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/12462 |
| 2022-09-23 12:34:00 |
1.6-8.16-1 |
bookworm |
i386 |
reproducible |
3m 12s |
ionos16-i386 |
ionos12-i386 |
i386_8/1493 |
| 2022-09-21 21:12:00 |
1.6-8.16-1 |
bookworm |
amd64 |
reproducible |
7m 33s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/9846 |
| 2022-09-21 19:04:00 |
1.6-8.16-1 |
bookworm |
arm64 |
reproducible |
5m 9s |
codethink15-arm64 |
codethink12-arm64 |
arm64_26/8514 |
| 2022-09-18 22:39:00 |
1.6-8.16-1 |
bookworm |
armhf |
reproducible |
6m 41s |
virt32c-armhf-rb |
jtx1c-armhf-rb |
armhf_25/8264 |
| 2022-09-10 02:09:00 |
1.6-8.16-1 |
unstable |
amd64 |
reproducible |
2m 44s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/1942 |
| 2022-09-09 21:36:00 |
1.6-8.16-1 |
unstable |
i386 |
reproducible |
5m 35s |
ionos2-i386 |
ionos6-i386 |
i386_1/1555 |
| 2022-09-08 22:15:00 |
1.6-8.16-1 |
unstable |
arm64 |
reproducible |
4m 37s |
codethink11-arm64 |
codethink12-arm64 |
arm64_10/7076 |
| 2022-09-07 18:35:00 |
1.6-8.16-1 |
unstable |
armhf |
reproducible |
20m 57s |
jtx1a-armhf-rb |
virt32a-armhf-rb |
armhf_27/4184 |
| 2022-09-05 06:18:00 |
1.6-8.15-2 |
bookworm |
armhf |
reproducible |
11m 21s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/871 |
| 2022-08-28 16:21:00 |
1.6-8.15-2 |
bookworm |
arm64 |
reproducible |
4m 54s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/5532 |
| 2022-08-24 01:14:00 |
1.6-8.15-2 |
bookworm |
amd64 |
reproducible |
3m 5s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/1659 |
| 2022-08-21 11:38:00 |
1.6-8.15-2 |
unstable |
arm64 |
reproducible |
5m 16s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/4718 |
| 2022-08-14 02:59:00 |
1.6-8.15-2 |
unstable |
amd64 |
reproducible |
13m 3s |
ionos11-amd64 |
ionos15-amd64 |
amd64_15/4948 |
| 2022-07-29 23:27:00 |
1.6-8.15-2 |
bookworm |
i386 |
reproducible |
5m 55s |
ionos6-i386 |
ionos2-i386 |
i386_2/3406 |
| 2022-07-28 03:59:00 |
1.6-8.15-2 |
bookworm |
arm64 |
reproducible |
6m 46s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/2538 |
| 2022-07-28 01:35:00 |
1.6-8.15-2 |
bookworm |
armhf |
reproducible |
18m 37s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_12/1116 |
| 2022-07-27 18:52:00 |
1.6-8.15-2 |
bookworm |
amd64 |
reproducible |
8m 17s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/3086 |
| 2022-07-23 10:19:00 |
1.6-8.15-2 |
unstable |
i386 |
reproducible |
2m 44s |
ionos12-i386 |
ionos6-i386 |
i386_5/3724 |
| 2022-07-22 16:20:00 |
1.6-8.15-2 |
unstable |
amd64 |
reproducible |
7m 32s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/3285 |
| 2022-07-21 10:03:00 |
1.6-8.15-2 |
unstable |
armhf |
reproducible |
10m 4s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/2191 |
| 2022-07-21 01:27:00 |
1.6-8.15-2 |
unstable |
arm64 |
reproducible |
7m 1s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/1641 |