build history of coq-libhyps
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-28 13:33:00 |
2.0.8-3 |
unstable |
armhf |
reproducible |
8m 56s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/2355 |
| 2024-04-28 04:44:00 |
2.0.8-3 |
unstable |
arm64 |
reproducible |
1m 50s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/17387 |
| 2024-04-28 03:10:00 |
2.0.8-3 |
unstable |
i386 |
reproducible |
2m 35s |
ionos16-i386 |
ionos2-i386 |
i386_4/18782 |
| 2024-04-28 00:33:00 |
2.0.8-3 |
unstable |
amd64 |
reproducible |
7m 0s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/5594 |
| 2024-04-27 21:25:00 |
2.0.8-3 |
unstable |
armhf |
404 |
|
wbq0-armhf-rb |
virt64b-armhf-rb |
armhf_11/2458 |
| 2024-04-21 10:13:00 |
2.0.8-1 |
trixie |
armhf |
reproducible |
12m 54s |
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/1725 |
| 2024-04-21 05:41:00 |
2.0.8-1 |
trixie |
amd64 |
reproducible |
6m 13s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/18436 |
| 2024-04-19 22:34:00 |
2.0.8-1 |
trixie |
arm64 |
reproducible |
1m 45s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/31981 |
| 2024-04-19 07:18:00 |
2.0.8-1 |
unstable |
amd64 |
reproducible |
1m 54s |
infom01-amd64 |
infom02-amd64 |
amd64_33/7464 |
| 2024-04-16 21:01:00 |
2.0.8-1 |
unstable |
arm64 |
reproducible |
2m 14s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/30575 |
| 2024-04-03 05:06:00 |
2.0.8-1 |
trixie |
amd64 |
reproducible |
5m 12s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/15395 |
| 2024-03-31 05:26:00 |
2.0.8-1 |
unstable |
amd64 |
reproducible |
6m 52s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/15768 |
| 2024-03-22 02:47:00 |
2.0.8-1 |
trixie |
arm64 |
reproducible |
2m 7s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/27350 |
| 2024-03-19 11:33:00 |
2.0.8-1 |
unstable |
arm64 |
reproducible |
1m 47s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/2298 |
| 2024-02-17 07:19:00 |
2.0.8-1 |
trixie |
i386 |
reproducible |
2m 24s |
ionos6-i386 |
ionos2-i386 |
i386_2/14229 |
| 2024-02-01 11:26:00 |
2.0.8-1 |
trixie |
amd64 |
reproducible |
5m 7s |
ionos11-amd64 |
ionos15-amd64 |
amd64_27/10309 |
| 2024-02-01 10:36:00 |
2.0.8-1 |
trixie |
armhf |
reproducible |
11m 30s |
ff4a-armhf-rb |
virt64b-armhf-rb |
armhf_24/11011 |
| 2024-01-27 04:19:00 |
2.0.8-1 |
trixie |
arm64 |
reproducible |
3m 0s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/1089 |
| 2024-01-16 19:41:00 |
2.0.8-1 |
unstable |
arm64 |
reproducible |
2m 36s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/300 |
| 2024-01-05 09:48:00 |
2.0.8-1 |
unstable |
i386 |
reproducible |
3m 36s |
ionos6-i386 |
ionos12-i386 |
i386_6/10491 |
| 2023-12-31 13:38:00 |
2.0.8-1 |
unstable |
armhf |
reproducible |
10m 6s |
virt64c-armhf-rb |
wbq0-armhf-rb |
armhf_39/5653 |
| 2023-12-29 03:15:00 |
2.0.8-1 |
unstable |
amd64 |
reproducible |
2m 35s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/12204 |
| 2023-12-28 16:35:00 |
2.0.6-3 |
trixie |
arm64 |
reproducible |
2m 28s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/20754 |
| 2023-12-23 16:01:00 |
2.0.8-1 |
unstable |
arm64 |
reproducible |
1m 45s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/16373 |
| 2023-12-20 22:34:00 |
2.0.6-3 |
unstable |
arm64 |
reproducible |
1m 43s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/8512 |
| 2023-12-08 07:18:00 |
2.0.6-3 |
trixie |
arm64 |
reproducible |
2m 46s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/7489 |
| 2023-12-04 05:57:00 |
2.0.6-3 |
unstable |
arm64 |
reproducible |
1m 39s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/11017 |
| 2023-11-16 18:05:00 |
2.0.6-3 |
trixie |
arm64 |
reproducible |
2m 14s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2676 |
| 2023-11-13 13:04:00 |
2.0.6-3 |
unstable |
arm64 |
reproducible |
2m 28s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/1600 |
| 2023-11-12 18:08:00 |
2.0.6-3 |
unstable |
amd64 |
reproducible |
4m 40s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/593 |
| 2023-11-08 07:27:00 |
2.0.6-3 |
unstable |
armhf |
reproducible |
15m 16s |
virt64a-armhf-rb |
cbxi4pro0-armhf-rb |
armhf_41/364 |
| 2023-11-06 12:29:00 |
2.0.6-3 |
trixie |
armhf |
reproducible |
17m 16s |
jtx1a-armhf-rb |
ff4a-armhf-rb |
armhf_4/144 |
| 2023-10-18 19:39:00 |
2.0.6-3 |
trixie |
arm64 |
reproducible |
4m 24s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/128 |
| 2023-10-03 14:31:00 |
2.0.6-3 |
trixie |
amd64 |
reproducible |
6m 20s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/1268 |
| 2023-09-29 14:25:00 |
2.0.6-3 |
unstable |
arm64 |
reproducible |
10m 27s |
codethink9-arm64 |
codethink14-arm64 |
arm64_3/548 |
| 2023-07-26 15:45:00 |
2.0.6-3 |
unstable |
amd64 |
reproducible |
2m 26s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/3799 |
| 2023-06-26 14:43:00 |
2.0.6-3 |
trixie |
i386 |
reproducible |
2m 2s |
ionos2-i386 |
ionos16-i386 |
i386_3/2727 |
| 2023-06-24 20:17:00 |
2.0.6-3 |
trixie |
arm64 |
reproducible |
3m 12s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/2384 |
| 2023-06-24 19:53:00 |
2.0.6-3 |
trixie |
amd64 |
reproducible |
2m 37s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/2224 |
| 2023-06-24 18:25:00 |
2.0.6-3 |
trixie |
armhf |
reproducible |
11m 26s |
jtx1a-armhf-rb |
virt32a-armhf-rb |
armhf_27/11255 |
| 2023-06-20 04:07:00 |
2.0.6-3 |
unstable |
arm64 |
reproducible |
3m 28s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/2671 |
| 2023-06-19 05:03:00 |
2.0.6-3 |
unstable |
amd64 |
reproducible |
3m 52s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/1884 |
| 2023-06-17 12:27:00 |
2.0.6-3 |
unstable |
i386 |
FTBFS |
2m 47s |
ionos2-i386 |
ionos6-i386 |
i386_1/1172 |
| 2023-06-17 07:09:00 |
2.0.6-3 |
unstable |
armhf |
FTBFS |
10m 53s |
virt32b-armhf-rb |
virt64b-armhf-rb |
armhf_17/2090 |
| 2023-06-07 01:56:00 |
2.0.6-2 |
bookworm |
amd64 |
reproducible |
4m 19s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/472 |
| 2023-05-30 06:01:00 |
2.0.6-2 |
bookworm |
armhf |
reproducible |
16m 37s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/1450 |
| 2023-05-21 13:14:00 |
2.0.6-2 |
bookworm |
i386 |
reproducible |
2m 6s |
ionos16-i386 |
ionos2-i386 |
i386_4/14199 |
| 2023-05-08 19:25:00 |
2.0.6-2 |
unstable |
armhf |
reproducible |
17m 15s |
ff64a-armhf-rb |
virt32c-armhf-rb |
armhf_30/1026 |
| 2023-05-01 23:12:00 |
2.0.6-2 |
unstable |
amd64 |
reproducible |
3m 38s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/14015 |
| 2023-04-18 06:55:00 |
2.0.6-2 |
bookworm |
armhf |
reproducible |
8m 28s |
virt32b-armhf-rb |
jtx1b-armhf-rb |
armhf_16/7805 |
| 2023-04-18 05:12:00 |
2.0.6-2 |
bookworm |
arm64 |
reproducible |
6m 42s |
codethink11-arm64 |
codethink12-arm64 |
arm64_10/7042 |
| 2023-04-10 23:27:00 |
2.0.6-2 |
bookworm |
amd64 |
reproducible |
29m 58s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/12912 |
| 2023-04-09 11:58:00 |
2.0.6-2 |
unstable |
arm64 |
reproducible |
3m 25s |
codethink11-arm64 |
codethink16-arm64 |
arm64_12/5875 |
| 2023-04-02 12:26:00 |
2.0.6-2 |
bookworm |
i386 |
reproducible |
11m 34s |
ionos2-i386 |
ionos16-i386 |
i386_11/12781 |
| 2023-03-28 00:00:00 |
2.0.6-2 |
unstable |
amd64 |
reproducible |
22m 36s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/26254 |
| 2023-03-19 22:04:00 |
2.0.6-2 |
unstable |
armhf |
reproducible |
26m 52s |
jtx1c-armhf-rb |
cbxi4a-armhf-rb |
armhf_28/5400 |
| 2023-03-13 23:30:00 |
2.0.6-2 |
bookworm |
arm64 |
reproducible |
2m 35s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/22247 |
| 2023-03-12 23:25:00 |
2.0.6-2 |
bookworm |
armhf |
reproducible |
11m 28s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_6/4419 |
| 2023-03-08 00:01:00 |
2.0.6-2 |
unstable |
arm64 |
reproducible |
3m 40s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/16044 |
| 2023-03-06 14:36:00 |
2.0.6-2 |
bookworm |
amd64 |
reproducible |
2m 50s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/18869 |
| 2023-02-27 15:39:00 |
2.0.6-2 |
unstable |
amd64 |
reproducible |
1m 58s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/8206 |
| 2023-02-01 09:30:00 |
2.0.6-2 |
bookworm |
i386 |
reproducible |
3m 48s |
ionos16-i386 |
ionos2-i386 |
i386_4/2948 |
| 2023-01-30 23:49:00 |
2.0.6-2 |
bookworm |
arm64 |
reproducible |
11m 25s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/19029 |
| 2023-01-30 19:59:00 |
2.0.6-2 |
bookworm |
amd64 |
reproducible |
8m 45s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/8787 |
| 2023-01-30 18:34:00 |
2.0.6-2 |
bookworm |
armhf |
reproducible |
12m 46s |
jtx1a-armhf-rb |
ff4a-armhf-rb |
armhf_4/571 |
| 2023-01-27 21:57:00 |
2.0.6-2 |
unstable |
i386 |
reproducible |
2m 11s |
ionos2-i386 |
ionos6-i386 |
i386_1/1274 |
| 2023-01-25 14:03:00 |
2.0.6-2 |
unstable |
armhf |
reproducible |
9m 45s |
jtx1a-armhf-rb |
ff4a-armhf-rb |
armhf_4/130 |
| 2023-01-25 13:48:00 |
2.0.6-2 |
unstable |
arm64 |
reproducible |
4m 53s |
codethink13-arm64 |
codethink10-arm64 |
arm64_17/17190 |
| 2023-01-25 11:40:00 |
2.0.6-2 |
unstable |
amd64 |
reproducible |
2m 46s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/142 |
| 2023-01-24 08:47:00 |
2.0.6-1 |
bookworm |
armhf |
reproducible |
4m 32s |
virt64c-armhf-rb |
virt32c-armhf-rb |
armhf_32/54 |
| 2023-01-22 13:57:00 |
2.0.6-1 |
unstable |
amd64 |
reproducible |
2m 2s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/2325 |
| 2023-01-07 15:48:00 |
2.0.6-1 |
bookworm |
i386 |
FTBFS |
1m 19s |
ionos2-i386 |
ionos6-i386 |
i386_9/6092 |
| 2022-12-25 23:34:00 |
2.0.6-1 |
bookworm |
arm64 |
reproducible |
3m 12s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/16254 |
| 2022-12-21 22:28:00 |
2.0.6-1 |
bookworm |
amd64 |
reproducible |
6m 33s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/1567 |
| 2022-12-17 05:45:00 |
2.0.6-1 |
unstable |
arm64 |
reproducible |
5m 37s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/15209 |
| 2022-12-06 07:43:00 |
2.0.6-1 |
unstable |
amd64 |
reproducible |
2m 47s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/6497 |
| 2022-12-04 21:26:00 |
2.0.6-1 |
unstable |
armhf |
reproducible |
12m 52s |
jtx1c-armhf-rb |
virt32a-armhf-rb |
armhf_45/2804 |
| 2022-11-21 01:29:00 |
2.0.6-1 |
bookworm |
armhf |
reproducible |
11m 26s |
cbxi4b-armhf-rb |
virt64c-armhf-rb |
armhf_2/41 |
| 2022-11-10 09:28:00 |
2.0.6-1 |
bookworm |
arm64 |
reproducible |
4m 37s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/11937 |
| 2022-11-07 07:32:00 |
2.0.6-1 |
bookworm |
amd64 |
reproducible |
2m 44s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/13079 |
| 2022-11-06 18:27:00 |
2.0.6-1 |
unstable |
arm64 |
reproducible |
3m 44s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/2607 |
| 2022-11-03 03:24:00 |
2.0.6-1 |
unstable |
amd64 |
reproducible |
7m 24s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/9371 |
| 2022-10-07 23:00:00 |
2.0.6-1 |
bookworm |
i386 |
unreproducible |
3m 16s |
ionos6-i386 |
ionos12-i386 |
i386_6/981 |
| 2022-10-05 07:17:00 |
2.0.6-1 |
unstable |
i386 |
reproducible |
3m 46s |
ionos2-i386 |
ionos16-i386 |
i386_3/948 |
| 2022-10-05 00:19:00 |
2.0.6-1 |
bookworm |
arm64 |
reproducible |
4m 42s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/8247 |
| 2022-10-04 17:46:00 |
2.0.6-1 |
bookworm |
armhf |
unreproducible |
6m 50s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/2162 |
| 2022-10-04 17:31:00 |
2.0.6-1 |
bookworm |
amd64 |
reproducible |
2m 58s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/4514 |
| 2022-10-04 01:23:00 |
2.0.6-1 |
unstable |
armhf |
unreproducible |
5m 40s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/2110 |
| 2022-10-03 15:29:00 |
2.0.6-1 |
unstable |
arm64 |
reproducible |
4m 0s |
codethink12-arm64 |
codethink13-arm64 |
arm64_15/9010 |
| 2022-10-02 09:51:00 |
2.0.6-1 |
unstable |
amd64 |
reproducible |
2m 34s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/10340 |