build history of coq-relation-algebra on amd64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2025-11-02 17:39:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
13m 37s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/63481 |
| 2025-10-31 11:19:00 |
1.8.0-1 |
experimental |
amd64 |
FTBFS |
1m 38s |
infom02-amd64 |
infom01-amd64 |
amd64_34/88237 |
| 2025-10-30 16:39:00 |
1.8.0-1 |
experimental |
amd64 |
404 |
|
ionos11-amd64 |
ionos15-amd64 |
amd64_23/76745 |
| 2025-10-14 21:20:00 |
1.7.11-1 |
forky |
amd64 |
reproducible |
13m 48s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/74600 |
| 2025-10-11 12:23:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
16m 21s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/74685 |
| 2025-09-22 08:50:00 |
1.7.11-1 |
forky |
amd64 |
reproducible |
5m 58s |
infom02-amd64 |
infom01-amd64 |
amd64_34/81899 |
| 2025-09-19 13:11:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
6m 30s |
infom02-amd64 |
infom01-amd64 |
amd64_36/81250 |
| 2025-08-29 19:22:00 |
1.7.11-1 |
forky |
amd64 |
reproducible |
15m 40s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/56776 |
| 2025-08-27 20:18:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
6m 38s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/50241 |
| 2025-08-05 15:53:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
10m 44s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/48647 |
| 2025-08-04 03:57:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
5m 56s |
infom01-amd64 |
infom02-amd64 |
amd64_37/75805 |
| 2025-07-18 17:37:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
7m 2s |
infom01-amd64 |
infom02-amd64 |
amd64_33/72848 |
| 2025-07-17 04:01:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
6m 52s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/65364 |
| 2025-07-03 04:28:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
7m 50s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/47246 |
| 2025-07-01 14:17:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
9m 50s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/45007 |
| 2025-06-19 02:23:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
8m 59s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/45579 |
| 2025-06-17 07:56:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
9m 35s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/45016 |
| 2025-06-15 07:45:00 |
1.7.11-1 |
unstable |
amd64 |
depwait |
1m 30s |
ionos11-amd64 |
ionos15-amd64 |
amd64_27/59762 |
| 2025-06-03 22:06:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
7m 59s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/42538 |
| 2025-05-29 21:01:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
10m 23s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/55323 |
| 2025-05-17 06:22:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
10m 30s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/42765 |
| 2025-05-13 01:01:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
6m 48s |
ionos1-amd64 |
ionos15-amd64 |
amd64_29/39767 |
| 2025-04-30 12:42:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
13m 46s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/37120 |
| 2025-04-26 17:57:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
12m 15s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/54699 |
| 2025-04-11 15:16:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
39m 35s |
ionos11-amd64 |
ionos15-amd64 |
amd64_27/51774 |
| 2025-03-28 07:19:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
9m 10s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/51101 |
| 2025-03-07 08:31:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
17m 2s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/46109 |
| 2025-03-01 03:50:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
10m 51s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/33049 |
| 2025-02-09 03:33:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
13m 29s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/32709 |
| 2025-02-01 17:53:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
11m 12s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/31699 |
| 2025-01-14 07:00:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
16m 57s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/42317 |
| 2025-01-04 22:38:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
10m 39s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/29718 |
| 2024-12-19 01:05:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
7m 18s |
infom02-amd64 |
infom01-amd64 |
amd64_34/41436 |
| 2024-12-12 03:51:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
7m 42s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/25087 |
| 2024-11-29 20:14:00 |
1.7.11-1 |
trixie |
amd64 |
reproducible |
18m 51s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/37144 |
| 2024-11-29 03:59:00 |
1.7.11-1 |
trixie |
amd64 |
404 |
|
ionos15-amd64 |
ionos11-amd64 |
amd64_16/40275 |
| 2024-11-24 12:50:00 |
1.7.10-4 |
trixie |
amd64 |
reproducible |
12m 4s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/26042 |
| 2024-11-21 09:06:00 |
1.7.11-1 |
unstable |
amd64 |
reproducible |
11m 51s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/25289 |
| 2024-11-20 16:20:00 |
1.7.11-1 |
unstable |
amd64 |
404 |
|
ionos11-amd64 |
ionos15-amd64 |
amd64_27/39687 |
| 2024-10-24 10:31:00 |
1.7.10-4 |
trixie |
amd64 |
reproducible |
12m 38s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/22620 |
| 2024-10-20 01:37:00 |
1.7.10-4 |
unstable |
amd64 |
reproducible |
17m 11s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/33827 |
| 2024-09-28 14:33:00 |
1.7.10-4 |
trixie |
amd64 |
reproducible |
12m 19s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/34250 |
| 2024-09-24 15:45:00 |
1.7.10-4 |
unstable |
amd64 |
reproducible |
10m 7s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/33657 |
| 2024-09-06 18:05:00 |
1.7.10-4 |
trixie |
amd64 |
reproducible |
16m 38s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/33647 |
| 2024-09-05 16:22:00 |
1.7.10-4 |
trixie |
amd64 |
404 |
|
infom02-amd64 |
infom01-amd64 |
amd64_36/27152 |
| 2024-09-01 20:23:00 |
1.7.10-4 |
unstable |
amd64 |
reproducible |
18m 1s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/29997 |
| 2024-08-14 10:24:00 |
1.7.10-3 |
trixie |
amd64 |
reproducible |
12m 42s |
ionos5-amd64 |
ionos11-amd64 |
amd64_22/17395 |
| 2024-08-07 01:09:00 |
1.7.10-4 |
unstable |
amd64 |
reproducible |
8m 53s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/29584 |
| 2024-08-04 12:00:00 |
1.7.10-4 |
unstable |
amd64 |
depwait |
44s |
infom01-amd64 |
infom02-amd64 |
amd64_35/22227 |
| 2024-08-02 01:10:00 |
1.7.10-3 |
unstable |
amd64 |
reproducible |
16m 2s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/15899 |
| 2024-07-20 19:27:00 |
1.7.10-3 |
trixie |
amd64 |
reproducible |
10m 43s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/27726 |
| 2024-07-10 06:15:00 |
1.7.10-3 |
unstable |
amd64 |
reproducible |
7m 46s |
ionos15-amd64 |
ionos11-amd64 |
amd64_28/26063 |
| 2024-06-24 08:24:00 |
1.7.10-3 |
trixie |
amd64 |
reproducible |
22m 57s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/9890 |
| 2024-06-20 18:03:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
24m 24s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/10812 |
| 2024-06-10 07:48:00 |
1.7.10-3 |
unstable |
amd64 |
reproducible |
12m 34s |
ionos1-amd64 |
ionos5-amd64 |
amd64_1/8508 |
| 2024-05-31 09:41:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
12m 54s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/7717 |
| 2024-05-21 03:15:00 |
1.7.10-3 |
unstable |
amd64 |
reproducible |
7m 44s |
infom01-amd64 |
infom02-amd64 |
amd64_33/13192 |
| 2024-05-10 18:53:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
15m 52s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/5617 |
| 2024-05-01 20:13:00 |
1.7.10-3 |
unstable |
amd64 |
reproducible |
11m 51s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/19365 |
| 2024-05-01 04:12:00 |
1.7.10-3 |
unstable |
amd64 |
404 |
|
ionos1-amd64 |
ionos5-amd64 |
amd64_9/4445 |
| 2024-04-22 02:56:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
46m 8s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/17382 |
| 2024-04-19 15:12:00 |
1.7.9-2 |
unstable |
amd64 |
reproducible |
5m 12s |
infom02-amd64 |
infom01-amd64 |
amd64_36/7380 |
| 2024-04-04 17:13:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
34m 53s |
ionos15-amd64 |
ionos1-amd64 |
amd64_30/4815 |
| 2024-03-31 16:36:00 |
1.7.9-2 |
unstable |
amd64 |
reproducible |
7m 37s |
ionos11-amd64 |
ionos5-amd64 |
amd64_31/1858 |
| 2024-03-31 15:30:00 |
1.7.9-2 |
unstable |
amd64 |
FTBFS |
29m 48s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/16133 |
| 2024-02-01 14:16:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
12m 33s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/12797 |
| 2023-12-31 06:06:00 |
1.7.9-2 |
unstable |
amd64 |
reproducible |
13m 32s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/12425 |
| 2023-11-18 20:35:00 |
1.7.9-1 |
trixie |
amd64 |
reproducible |
20m 13s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/942 |
| 2023-11-12 18:18:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
16m 24s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/657 |
| 2023-10-04 17:52:00 |
1.7.9-1 |
trixie |
amd64 |
unreproducible |
28m 13s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/4160 |
| 2023-07-26 15:42:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
14m 20s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/3968 |
| 2023-06-24 23:11:00 |
1.7.9-1 |
trixie |
amd64 |
reproducible |
19m 13s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/2036 |
| 2023-06-19 21:36:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
13m 28s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/2117 |
| 2023-06-07 02:02:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
20m 30s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/343 |
| 2023-05-03 11:49:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
20m 1s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/18803 |
| 2023-04-10 22:58:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
21m 31s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/4850 |
| 2023-03-29 03:41:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
36m 4s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/743 |
| 2023-03-06 14:50:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
21m 32s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/3670 |
| 2023-02-28 22:29:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
20m 59s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/6153 |
| 2023-01-30 19:41:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
13m 20s |
ionos15-amd64 |
ionos11-amd64 |
amd64_32/5580 |
| 2023-01-26 19:45:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
27m 45s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/2894 |
| 2023-01-22 14:06:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
11m 39s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/5987 |
| 2022-12-21 22:21:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
21m 25s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/3153 |
| 2022-12-06 07:42:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
17m 39s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/16839 |
| 2022-11-07 07:24:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
11m 48s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/1438 |
| 2022-11-03 03:31:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
11m 9s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/1469 |
| 2022-10-04 17:29:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
19m 48s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/11338 |
| 2022-10-02 10:19:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
19m 51s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/4945 |