build history of coq-stdpp
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-27 13:31:00 |
1.10.0-1 |
unstable |
armhf |
reproducible |
1h 4m 29s |
cbxi4b-armhf-rb |
ff64a-armhf-rb |
armhf_23/1818 |
| 2024-04-27 07:26:00 |
1.10.0-1 |
unstable |
i386 |
reproducible |
12m 33s |
ionos16-i386 |
ionos12-i386 |
i386_8/26067 |
| 2024-04-27 00:35:00 |
1.10.0-1 |
unstable |
arm64 |
reproducible |
8m 25s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/15002 |
| 2024-04-27 00:04:00 |
1.10.0-1 |
unstable |
amd64 |
reproducible |
9m 2s |
infom01-amd64 |
infom02-amd64 |
amd64_33/9364 |
| 2024-04-26 21:36:00 |
1.10.0-1 |
unstable |
armhf |
404 |
|
ff4a-armhf-rb |
virt64z-armhf-rb |
armhf_3/3307 |
| 2024-04-21 23:56:00 |
1.9.0-1 |
trixie |
amd64 |
reproducible |
21m 49s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/6804 |
| 2024-04-21 10:22:00 |
1.9.0-1 |
trixie |
armhf |
reproducible |
50m 12s |
cbxi4a-armhf-rb |
virt64z-armhf-rb |
armhf_1/2153 |
| 2024-04-19 17:59:00 |
1.9.0-1 |
unstable |
arm64 |
reproducible |
8m 40s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/36576 |
| 2024-04-19 08:56:00 |
1.9.0-1 |
unstable |
amd64 |
reproducible |
18m 54s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/18289 |
| 2024-04-19 07:46:00 |
1.9.0-1 |
trixie |
arm64 |
reproducible |
8m 4s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/37046 |
| 2024-04-04 11:44:00 |
1.9.0-1 |
trixie |
amd64 |
reproducible |
19m 40s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/2622 |
| 2024-03-31 08:56:00 |
1.9.0-1 |
unstable |
amd64 |
reproducible |
7m 32s |
infom01-amd64 |
infom02-amd64 |
amd64_37/3336 |
| 2024-03-22 14:32:00 |
1.9.0-1 |
unstable |
arm64 |
reproducible |
9m 56s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/27434 |
| 2024-03-21 23:28:00 |
1.9.0-1 |
trixie |
arm64 |
reproducible |
9m 24s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2461 |
| 2024-02-17 18:50:00 |
1.9.0-1 |
trixie |
i386 |
reproducible |
13m 17s |
ionos12-i386 |
ionos6-i386 |
i386_5/11554 |
| 2024-02-09 14:05:00 |
1.9.0-1 |
unstable |
arm64 |
reproducible |
10m 7s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/3664 |
| 2024-02-01 11:54:00 |
1.9.0-1 |
trixie |
amd64 |
reproducible |
27m 29s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/9801 |
| 2024-02-01 10:40:00 |
1.9.0-1 |
trixie |
armhf |
reproducible |
29m 22s |
virt64c-armhf-rb |
virt32c-armhf-rb |
armhf_32/9094 |
| 2024-01-27 01:31:00 |
1.9.0-1 |
trixie |
arm64 |
reproducible |
12m 16s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/24999 |
| 2024-01-05 11:16:00 |
1.9.0-1 |
unstable |
i386 |
reproducible |
9m 0s |
ionos16-i386 |
ionos2-i386 |
i386_4/6433 |
| 2023-12-31 14:19:00 |
1.9.0-1 |
unstable |
armhf |
reproducible |
1h 56m 40s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_12/7562 |
| 2023-12-29 04:49:00 |
1.9.0-1 |
unstable |
amd64 |
reproducible |
39m 57s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/12457 |
| 2023-12-26 20:38:00 |
1.8.0-4 |
trixie |
arm64 |
reproducible |
6m 13s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/20625 |
| 2023-12-25 16:41:00 |
1.9.0-1 |
unstable |
arm64 |
reproducible |
8m 2s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/16697 |
| 2023-12-23 10:45:00 |
1.9.0-1 |
unstable |
arm64 |
depwait |
35s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/11220 |
| 2023-12-07 18:44:00 |
1.8.0-4 |
trixie |
arm64 |
reproducible |
7m 31s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/11774 |
| 2023-12-04 08:31:00 |
1.8.0-4 |
unstable |
arm64 |
reproducible |
6m 50s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/7781 |
| 2023-11-16 13:40:00 |
1.8.0-4 |
trixie |
arm64 |
reproducible |
6m 41s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/6385 |
| 2023-11-13 17:37:00 |
1.8.0-4 |
unstable |
arm64 |
reproducible |
6m 41s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/5549 |
| 2023-11-12 23:46:00 |
1.8.0-4 |
unstable |
amd64 |
reproducible |
14m 51s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/3627 |
| 2023-11-08 11:10:00 |
1.8.0-4 |
unstable |
armhf |
reproducible |
1h 7m 38s |
cbxi4b-armhf-rb |
ff64a-armhf-rb |
armhf_23/554 |
| 2023-11-06 12:16:00 |
1.8.0-4 |
trixie |
armhf |
reproducible |
44m 42s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_15/2483 |
| 2023-10-18 12:58:00 |
1.8.0-4 |
trixie |
arm64 |
reproducible |
24m 11s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/114 |
| 2023-10-03 20:04:00 |
1.8.0-4 |
trixie |
amd64 |
reproducible |
30m 23s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/1066 |
| 2023-09-29 21:05:00 |
1.8.0-4 |
unstable |
arm64 |
reproducible |
23m 0s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/547 |
| 2023-07-26 16:11:00 |
1.8.0-4 |
unstable |
amd64 |
reproducible |
39m 42s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/3802 |
| 2023-06-26 09:48:00 |
1.8.0-4 |
trixie |
i386 |
reproducible |
8m 43s |
ionos6-i386 |
ionos2-i386 |
i386_2/2695 |
| 2023-06-24 21:14:00 |
1.8.0-4 |
trixie |
amd64 |
reproducible |
24m 52s |
ionos15-amd64 |
ionos11-amd64 |
amd64_32/1698 |
| 2023-06-24 19:55:00 |
1.8.0-4 |
trixie |
arm64 |
reproducible |
20m 35s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/2302 |
| 2023-06-24 17:50:00 |
1.8.0-4 |
trixie |
armhf |
reproducible |
30m 3s |
ff4a-armhf-rb |
virt64c-armhf-rb |
armhf_33/3534 |
| 2023-06-20 04:37:00 |
1.8.0-4 |
unstable |
arm64 |
reproducible |
21m 41s |
codethink15-arm64 |
codethink12-arm64 |
arm64_26/2542 |
| 2023-06-19 05:38:00 |
1.8.0-4 |
unstable |
amd64 |
reproducible |
28m 43s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/2075 |
| 2023-06-17 11:15:00 |
1.8.0-4 |
unstable |
i386 |
FTBFS |
5m 13s |
ionos2-i386 |
ionos6-i386 |
i386_1/1154 |
| 2023-06-17 07:33:00 |
1.8.0-4 |
unstable |
armhf |
FTBFS |
18m 34s |
ff4a-armhf-rb |
virt64b-armhf-rb |
armhf_24/2049 |
| 2023-06-04 16:14:00 |
1.8.0-3 |
bookworm |
amd64 |
reproducible |
14m 18s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/260 |
| 2023-05-30 07:52:00 |
1.8.0-3 |
bookworm |
armhf |
reproducible |
32m 15s |
ff64a-armhf-rb |
virt32c-armhf-rb |
armhf_30/2203 |
| 2023-05-20 06:53:00 |
1.8.0-3 |
bookworm |
i386 |
reproducible |
8m 27s |
ionos12-i386 |
ionos16-i386 |
i386_7/9924 |
| 2023-05-09 02:48:00 |
1.8.0-3 |
unstable |
armhf |
reproducible |
25m 5s |
virt32c-armhf-rb |
virt64a-armhf-rb |
armhf_34/1219 |
| 2023-05-04 00:19:00 |
1.8.0-3 |
unstable |
amd64 |
reproducible |
21m 6s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/5867 |
| 2023-04-18 08:52:00 |
1.8.0-3 |
bookworm |
armhf |
reproducible |
29m 44s |
virt32b-armhf-rb |
virt64b-armhf-rb |
armhf_17/7801 |
| 2023-04-17 12:27:00 |
1.8.0-3 |
bookworm |
arm64 |
reproducible |
27m 30s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/29377 |
| 2023-04-10 23:26:00 |
1.8.0-3 |
unstable |
arm64 |
reproducible |
30m 0s |
codethink13-arm64 |
codethink10-arm64 |
arm64_17/25130 |
| 2023-04-10 07:48:00 |
1.8.0-3 |
bookworm |
amd64 |
FTBFS |
2h 23m 7s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/18259 |
| 2023-04-01 16:50:00 |
1.8.0-3 |
bookworm |
i386 |
reproducible |
16m 2s |
ionos2-i386 |
ionos16-i386 |
i386_11/12751 |
| 2023-03-29 14:00:00 |
1.8.0-3 |
unstable |
amd64 |
reproducible |
27m 20s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/13649 |
| 2023-03-20 06:39:00 |
1.8.0-3 |
unstable |
armhf |
reproducible |
43m 20s |
wbq0-armhf-rb |
virt64a-armhf-rb |
armhf_37/1968 |
| 2023-03-13 14:02:00 |
1.8.0-3 |
bookworm |
arm64 |
reproducible |
23m 6s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/18865 |
| 2023-03-13 00:57:00 |
1.8.0-3 |
bookworm |
armhf |
reproducible |
54m 13s |
cbxi4b-armhf-rb |
virt64c-armhf-rb |
armhf_2/664 |
| 2023-03-09 08:17:00 |
1.8.0-3 |
unstable |
arm64 |
reproducible |
20m 55s |
codethink11-arm64 |
codethink16-arm64 |
arm64_12/456 |
| 2023-03-06 00:32:00 |
1.8.0-3 |
bookworm |
amd64 |
reproducible |
40m 36s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/3336 |
| 2023-03-01 06:14:00 |
1.8.0-3 |
unstable |
amd64 |
reproducible |
15m 3s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/5298 |
| 2023-02-01 08:34:00 |
1.8.0-3 |
bookworm |
i386 |
reproducible |
18m 9s |
ionos16-i386 |
ionos2-i386 |
i386_4/2940 |
| 2023-01-30 22:52:00 |
1.8.0-3 |
bookworm |
arm64 |
reproducible |
33m 56s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/18443 |
| 2023-01-30 18:35:00 |
1.8.0-3 |
bookworm |
armhf |
reproducible |
2h 0m 54s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_5/1662 |
| 2023-01-30 18:34:00 |
1.8.0-3 |
bookworm |
amd64 |
reproducible |
29m 34s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/8020 |
| 2023-01-28 01:21:00 |
1.8.0-3 |
unstable |
i386 |
reproducible |
13m 8s |
ionos2-i386 |
ionos6-i386 |
i386_1/1355 |
| 2023-01-25 21:41:00 |
1.8.0-3 |
unstable |
armhf |
reproducible |
30m 53s |
jtx1a-armhf-rb |
virt32a-armhf-rb |
armhf_27/170 |
| 2023-01-25 19:18:00 |
1.8.0-3 |
unstable |
arm64 |
reproducible |
21m 37s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/2696 |
| 2023-01-25 19:13:00 |
1.8.0-3 |
unstable |
amd64 |
reproducible |
18m 23s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/123 |
| 2023-01-18 03:58:00 |
1.8.0-2 |
bookworm |
arm64 |
reproducible |
22m 42s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/2052 |
| 2023-01-15 16:35:00 |
1.8.0-2 |
bookworm |
amd64 |
reproducible |
10m 33s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/14713 |
| 2023-01-14 14:28:00 |
1.8.0-2 |
unstable |
arm64 |
reproducible |
23m 27s |
codethink11-arm64 |
codethink16-arm64 |
arm64_12/7580 |
| 2023-01-01 22:59:00 |
1.8.0-2 |
unstable |
amd64 |
reproducible |
11m 38s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/13856 |
| 2022-12-28 21:28:00 |
1.8.0-2 |
bookworm |
armhf |
reproducible |
23m 25s |
virt64c-armhf-rb |
ff4a-armhf-rb |
armhf_31/13494 |
| 2022-12-25 15:29:00 |
1.8.0-2 |
bookworm |
i386 |
reproducible |
8m 7s |
ionos6-i386 |
ionos12-i386 |
i386_6/4317 |
| 2022-11-29 16:55:00 |
1.8.0-2 |
bookworm |
arm64 |
reproducible |
24m 51s |
codethink12-arm64 |
codethink13-arm64 |
arm64_15/2961 |
| 2022-11-28 13:29:00 |
1.8.0-2 |
unstable |
arm64 |
reproducible |
21m 17s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/14144 |
| 2022-11-25 16:23:00 |
1.8.0-2 |
bookworm |
amd64 |
reproducible |
12m 57s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/5718 |
| 2022-11-23 13:30:00 |
1.8.0-2 |
unstable |
armhf |
reproducible |
34m 36s |
jtx1c-armhf-rb |
virt32a-armhf-rb |
armhf_45/2124 |
| 2022-11-20 04:38:00 |
1.8.0-2 |
unstable |
amd64 |
reproducible |
23m 47s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/2394 |
| 2022-11-04 19:22:00 |
1.8.0-2 |
bookworm |
armhf |
reproducible |
28m 18s |
ff4a-armhf-rb |
jtx1a-armhf-rb |
armhf_3/1078 |
| 2022-10-26 22:26:00 |
1.8.0-2 |
bookworm |
arm64 |
reproducible |
20m 24s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/646 |
| 2022-10-26 18:03:00 |
1.8.0-2 |
unstable |
arm64 |
reproducible |
23m 53s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/606 |
| 2022-10-24 20:23:00 |
1.8.0-2 |
bookworm |
amd64 |
reproducible |
35m 47s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/622 |
| 2022-10-22 06:40:00 |
1.8.0-2 |
unstable |
amd64 |
reproducible |
35m 28s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/3886 |
| 2022-09-23 12:23:00 |
1.8.0-2 |
bookworm |
i386 |
unreproducible |
15m 55s |
ionos12-i386 |
ionos6-i386 |
i386_5/2621 |
| 2022-09-21 21:02:00 |
1.8.0-2 |
bookworm |
amd64 |
reproducible |
39m 59s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/5425 |
| 2022-09-21 18:42:00 |
1.8.0-2 |
bookworm |
arm64 |
reproducible |
24m 27s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/3737 |
| 2022-09-20 05:06:00 |
1.8.0-2 |
unstable |
amd64 |
reproducible |
42m 7s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/3673 |
| 2022-09-19 06:10:00 |
1.8.0-2 |
unstable |
i386 |
unreproducible |
14m 57s |
ionos2-i386 |
ionos6-i386 |
i386_9/4459 |
| 2022-09-18 23:52:00 |
1.8.0-2 |
bookworm |
armhf |
unreproducible |
44m 8s |
virt64c-armhf-rb |
ff4a-armhf-rb |
armhf_31/6708 |
| 2022-09-18 23:15:00 |
1.8.0-2 |
unstable |
arm64 |
reproducible |
24m 48s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/6927 |
| 2022-09-13 18:27:00 |
1.8.0-2 |
unstable |
armhf |
unreproducible |
50m 23s |
virt64a-armhf-rb |
cbxi4pro0-armhf-rb |
armhf_41/2879 |
| 2022-08-21 15:42:00 |
1.8.0-1 |
bookworm |
i386 |
unreproducible |
11m 8s |
ionos2-i386 |
ionos6-i386 |
i386_9/995 |
| 2022-08-21 06:25:00 |
1.8.0-1 |
bookworm |
armhf |
unreproducible |
24m 40s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/4407 |
| 2022-08-21 05:16:00 |
1.8.0-1 |
bookworm |
arm64 |
reproducible |
24m 34s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/5265 |
| 2022-08-21 04:10:00 |
1.8.0-1 |
bookworm |
amd64 |
reproducible |
14m 56s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/1461 |
| 2022-08-20 23:19:00 |
1.7.0-2 |
bookworm |
amd64 |
reproducible |
10m 6s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/326 |
| 2022-08-20 14:31:00 |
1.8.0-1 |
unstable |
i386 |
unreproducible |
18m 20s |
ionos6-i386 |
ionos12-i386 |
i386_6/7196 |
| 2022-08-19 19:40:00 |
1.8.0-1 |
unstable |
armhf |
unreproducible |
1h 4m 47s |
virt64a-armhf-rb |
cbxi4pro0-armhf-rb |
armhf_41/1087 |
| 2022-08-19 19:18:00 |
1.8.0-1 |
unstable |
arm64 |
reproducible |
24m 6s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/4258 |
| 2022-08-19 18:12:00 |
1.8.0-1 |
unstable |
amd64 |
reproducible |
48m 22s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/6283 |
| 2022-08-14 13:08:00 |
1.7.0-2 |
unstable |
amd64 |
reproducible |
28m 4s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/1981 |
| 2022-07-26 23:54:00 |
1.7.0-2 |
bookworm |
i386 |
unreproducible |
21m 34s |
ionos2-i386 |
ionos6-i386 |
i386_1/1281 |
| 2022-07-26 10:51:00 |
1.7.0-2 |
bookworm |
armhf |
unreproducible |
32m 27s |
jtx1a-armhf-rb |
ff4a-armhf-rb |
armhf_4/1029 |
| 2022-07-25 08:53:00 |
1.7.0-2 |
bookworm |
amd64 |
reproducible |
19m 13s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/3243 |
| 2022-07-24 22:49:00 |
1.7.0-2 |
bookworm |
arm64 |
reproducible |
1h 37m 45s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/2216 |
| 2022-07-23 02:15:00 |
1.7.0-2 |
unstable |
i386 |
unreproducible |
10m 55s |
ionos16-i386 |
ionos2-i386 |
i386_12/2795 |
| 2022-07-21 20:22:00 |
1.7.0-2 |
unstable |
armhf |
unreproducible |
24m 59s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_15/600 |
| 2022-07-21 19:34:00 |
1.7.0-2 |
unstable |
arm64 |
reproducible |
24m 32s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/1637 |
| 2022-07-21 19:23:00 |
1.7.0-2 |
unstable |
amd64 |
reproducible |
14m 59s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/3007 |
| 2022-07-10 17:18:00 |
1.7.0-1 |
unstable |
i386 |
unreproducible |
8m 36s |
ionos6-i386 |
ionos12-i386 |
i386_6/1719 |
| 2022-07-09 08:42:00 |
1.7.0-1 |
unstable |
armhf |
unreproducible |
2h 2m 42s |
jtx1a-armhf-rb |
cbxi4b-armhf-rb |
armhf_26/499 |
| 2022-07-09 08:16:00 |
1.7.0-1 |
unstable |
arm64 |
reproducible |
22m 54s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/1270 |
| 2022-07-09 06:00:00 |
1.7.0-1 |
unstable |
amd64 |
reproducible |
21m 19s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/1180 |