build history of coq-reduction-effects on amd64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2025-11-02 18:33:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
13m 34s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/77140 |
| 2025-11-02 00:15:00 |
0.1.6-1 |
experimental |
amd64 |
depwait |
1m 21s |
infom02-amd64 |
infom01-amd64 |
amd64_36/88513 |
| 2025-11-01 01:09:00 |
0.1.5-5 |
forky |
amd64 |
reproducible |
5m 58s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/60409 |
| 2025-10-30 19:35:00 |
0.1.6-1 |
experimental |
amd64 |
depwait |
1m 37s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/77199 |
| 2025-10-29 16:44:00 |
0.1.6-1 |
experimental |
amd64 |
404 |
|
ionos11-amd64 |
ionos15-amd64 |
amd64_7/77200 |
| 2025-10-11 13:09:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
8m 22s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/58706 |
| 2025-10-09 10:12:00 |
0.1.5-5 |
forky |
amd64 |
reproducible |
10m 10s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/73944 |
| 2025-09-18 22:44:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
10m 3s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/69333 |
| 2025-09-17 06:24:00 |
0.1.5-5 |
forky |
amd64 |
reproducible |
14m 35s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/53676 |
| 2025-08-26 13:03:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 17s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/65697 |
| 2025-08-24 21:37:00 |
0.1.5-5 |
forky |
amd64 |
reproducible |
15m 17s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/55114 |
| 2025-08-03 09:22:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 27s |
ionos11-amd64 |
ionos15-amd64 |
amd64_15/67389 |
| 2025-08-01 11:44:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
28m 46s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/63496 |
| 2025-07-16 10:12:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
5m 25s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/47184 |
| 2025-07-14 21:46:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 56s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/46662 |
| 2025-06-30 19:49:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 35s |
infom02-amd64 |
infom01-amd64 |
amd64_36/68860 |
| 2025-06-29 07:01:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 23s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/62716 |
| 2025-06-16 11:56:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 14s |
infom01-amd64 |
infom02-amd64 |
amd64_37/68913 |
| 2025-06-15 00:01:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
4m 15s |
infom02-amd64 |
infom01-amd64 |
amd64_38/63698 |
| 2025-06-14 05:49:00 |
0.1.5-5 |
unstable |
amd64 |
depwait |
27s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/59680 |
| 2025-05-29 10:33:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
2m 46s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/42626 |
| 2025-05-28 12:09:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 11s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/43433 |
| 2025-05-13 01:46:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
2m 58s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/52110 |
| 2025-05-12 02:16:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
5m 46s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/56945 |
| 2025-04-26 18:28:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
4m 30s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/35543 |
| 2025-04-25 18:33:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
7m 0s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/53769 |
| 2025-03-28 09:33:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 51s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/51123 |
| 2025-03-26 06:44:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 21s |
infom01-amd64 |
infom02-amd64 |
amd64_33/54585 |
| 2025-03-02 03:25:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
5m 1s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/48674 |
| 2025-02-27 19:30:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 17s |
infom02-amd64 |
infom01-amd64 |
amd64_34/50289 |
| 2025-02-03 22:25:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
7m 7s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/47049 |
| 2025-01-31 07:49:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
6m 47s |
ionos5-amd64 |
ionos11-amd64 |
amd64_32/31955 |
| 2025-01-07 23:23:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 59s |
infom02-amd64 |
infom01-amd64 |
amd64_34/44039 |
| 2025-01-03 09:33:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 19s |
infom01-amd64 |
infom02-amd64 |
amd64_37/44882 |
| 2024-12-14 23:41:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
5m 10s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/40772 |
| 2024-12-10 19:53:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
6m 12s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/39626 |
| 2024-11-24 12:35:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
6m 58s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/37713 |
| 2024-11-19 06:57:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 33s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/26330 |
| 2024-10-23 17:59:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
6m 52s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/21307 |
| 2024-10-17 05:15:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 35s |
infom02-amd64 |
infom01-amd64 |
amd64_38/30452 |
| 2024-09-28 01:35:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 21s |
infom02-amd64 |
infom01-amd64 |
amd64_38/27861 |
| 2024-09-20 21:47:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
4m 43s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/20607 |
| 2024-09-05 18:22:00 |
0.1.5-5 |
trixie |
amd64 |
reproducible |
3m 2s |
infom02-amd64 |
infom01-amd64 |
amd64_36/27176 |
| 2024-09-04 16:03:00 |
0.1.5-5 |
trixie |
amd64 |
404 |
|
ionos15-amd64 |
ionos1-amd64 |
amd64_20/30016 |
| 2024-08-29 21:04:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 14s |
infom01-amd64 |
infom02-amd64 |
amd64_35/25593 |
| 2024-08-14 10:22:00 |
0.1.5-4 |
trixie |
amd64 |
reproducible |
4m 34s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/16989 |
| 2024-08-04 12:00:00 |
0.1.5-5 |
unstable |
amd64 |
reproducible |
3m 25s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/13971 |
| 2024-07-28 20:29:00 |
0.1.5-4 |
unstable |
amd64 |
reproducible |
3m 32s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/14176 |
| 2024-07-20 19:26:00 |
0.1.5-4 |
trixie |
amd64 |
reproducible |
8m 5s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/26750 |
| 2024-07-06 06:24:00 |
0.1.5-4 |
unstable |
amd64 |
reproducible |
3m 12s |
infom01-amd64 |
infom02-amd64 |
amd64_37/18233 |
| 2024-06-24 07:48:00 |
0.1.5-4 |
trixie |
amd64 |
reproducible |
35m 55s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/12069 |
| 2024-06-20 18:02:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
3m 59s |
infom02-amd64 |
infom01-amd64 |
amd64_34/16416 |
| 2024-06-06 00:22:00 |
0.1.5-4 |
unstable |
amd64 |
reproducible |
3m 10s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/23643 |
| 2024-05-31 09:35:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
4m 4s |
ionos11-amd64 |
ionos15-amd64 |
amd64_15/22478 |
| 2024-05-16 23:23:00 |
0.1.5-4 |
unstable |
amd64 |
reproducible |
6m 22s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/7076 |
| 2024-05-10 18:26:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
4m 11s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/20564 |
| 2024-04-27 00:06:00 |
0.1.5-4 |
unstable |
amd64 |
reproducible |
7m 7s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/17832 |
| 2024-04-22 02:42:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
2m 57s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/6639 |
| 2024-04-19 08:20:00 |
0.1.5-1 |
unstable |
amd64 |
reproducible |
4m 41s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/3996 |
| 2024-04-04 16:59:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
6m 22s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/4896 |
| 2024-03-31 07:17:00 |
0.1.5-1 |
unstable |
amd64 |
reproducible |
4m 29s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/2000 |
| 2024-02-01 13:42:00 |
0.1.5-1 |
trixie |
amd64 |
reproducible |
3m 8s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/10618 |
| 2023-12-29 04:35:00 |
0.1.5-1 |
unstable |
amd64 |
reproducible |
5m 1s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/11731 |
| 2023-11-18 10:17:00 |
0.1.4-4 |
trixie |
amd64 |
reproducible |
4m 19s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/3792 |
| 2023-11-12 20:17:00 |
0.1.4-4 |
unstable |
amd64 |
reproducible |
2m 20s |
ionos11-amd64 |
ionos15-amd64 |
amd64_27/831 |
| 2023-10-04 12:11:00 |
0.1.4-4 |
trixie |
amd64 |
unreproducible |
5m 30s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/3945 |
| 2023-07-26 16:05:00 |
0.1.4-4 |
unstable |
amd64 |
reproducible |
2m 40s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/4570 |
| 2023-06-24 21:05:00 |
0.1.4-4 |
trixie |
amd64 |
reproducible |
4m 58s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/2029 |
| 2023-06-19 05:25:00 |
0.1.4-4 |
unstable |
amd64 |
reproducible |
5m 42s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/1714 |
| 2023-06-05 05:11:00 |
0.1.4-3 |
bookworm |
amd64 |
reproducible |
4m 1s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/285 |
| 2023-05-02 13:05:00 |
0.1.4-3 |
unstable |
amd64 |
reproducible |
4m 0s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/23515 |
| 2023-04-10 17:09:00 |
0.1.4-3 |
bookworm |
amd64 |
reproducible |
7m 37s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/14338 |
| 2023-03-28 11:35:00 |
0.1.4-3 |
unstable |
amd64 |
reproducible |
5m 4s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/26285 |
| 2023-03-06 10:54:00 |
0.1.4-3 |
bookworm |
amd64 |
reproducible |
3m 19s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/10332 |
| 2023-02-28 03:41:00 |
0.1.4-3 |
unstable |
amd64 |
reproducible |
12m 12s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/2759 |
| 2023-01-30 19:54:00 |
0.1.4-3 |
bookworm |
amd64 |
reproducible |
4m 28s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/8025 |
| 2023-01-25 11:48:00 |
0.1.4-3 |
unstable |
amd64 |
reproducible |
2m 1s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/3136 |
| 2023-01-18 01:15:00 |
0.1.4-2 |
bookworm |
amd64 |
reproducible |
2m 2s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/8068 |
| 2022-12-30 19:22:00 |
0.1.4-2 |
unstable |
amd64 |
reproducible |
2m 23s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/6405 |
| 2022-11-25 21:51:00 |
0.1.4-2 |
bookworm |
amd64 |
reproducible |
3m 42s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/9020 |
| 2022-11-18 23:21:00 |
0.1.4-2 |
unstable |
amd64 |
reproducible |
2m 29s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/2647 |
| 2022-10-25 01:14:00 |
0.1.4-2 |
bookworm |
amd64 |
reproducible |
4m 49s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/583 |
| 2022-10-20 06:37:00 |
0.1.4-2 |
unstable |
amd64 |
reproducible |
3m 23s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/2699 |
| 2022-09-21 21:09:00 |
0.1.4-2 |
bookworm |
amd64 |
reproducible |
11m 41s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/2146 |
| 2022-09-10 01:50:00 |
0.1.4-2 |
unstable |
amd64 |
reproducible |
8m 37s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/2083 |
| 2022-08-15 05:11:00 |
0.1.4-1 |
bookworm |
amd64 |
reproducible |
3m 49s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/6127 |
| 2022-08-13 09:57:00 |
0.1.4-1 |
unstable |
amd64 |
reproducible |
5m 28s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/4756 |
| 2022-07-27 18:43:00 |
0.1.3-2 |
bookworm |
amd64 |
reproducible |
7m 25s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/3218 |
| 2022-07-22 16:15:00 |
0.1.3-2 |
unstable |
amd64 |
reproducible |
7m 46s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/2361 |