build history of coq-relation-algebra
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-29 21:45:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
41s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/16372 |
| 2024-04-27 15:04:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
26s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/15133 |
| 2024-04-22 02:56:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
46m 8s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/17382 |
| 2024-04-21 10:37:00 |
1.7.9-2 |
trixie |
armhf |
reproducible |
35m 53s |
virt32b-armhf-rb |
virt64b-armhf-rb |
armhf_17/3483 |
| 2024-04-19 22:29:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
7m 25s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/31227 |
| 2024-04-19 15:12:00 |
1.7.9-2 |
unstable |
amd64 |
reproducible |
5m 12s |
infom02-amd64 |
infom01-amd64 |
amd64_36/7380 |
| 2024-04-07 07:07:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
8m 23s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/35248 |
| 2024-04-05 21:48:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
30s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/11198 |
| 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-03-22 02:38:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
6m 6s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2508 |
| 2024-02-25 00:11:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
5m 49s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/30683 |
| 2024-02-18 07:22:00 |
1.7.9-2 |
trixie |
i386 |
reproducible |
6m 47s |
ionos2-i386 |
ionos6-i386 |
i386_1/17920 |
| 2024-02-01 14:16:00 |
1.7.9-2 |
trixie |
amd64 |
reproducible |
12m 33s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/12797 |
| 2024-02-01 11:01:00 |
1.7.9-2 |
trixie |
armhf |
reproducible |
42m 18s |
ff4a-armhf-rb |
virt64b-armhf-rb |
armhf_24/11013 |
| 2024-01-27 03:31:00 |
1.7.9-2 |
trixie |
arm64 |
reproducible |
10m 50s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/26210 |
| 2024-01-25 02:44:00 |
1.7.9-2 |
unstable |
i386 |
reproducible |
13m 53s |
ionos12-i386 |
ionos6-i386 |
i386_5/7732 |
| 2024-01-06 05:11:00 |
1.7.9-2 |
unstable |
armhf |
reproducible |
23m 50s |
jtx1c-armhf-rb |
virt32c-armhf-rb |
armhf_35/583 |
| 2024-01-03 00:46:00 |
1.7.9-2 |
unstable |
arm64 |
reproducible |
9m 49s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/22325 |
| 2023-12-31 23:09:00 |
1.7.9-2 |
unstable |
armhf |
depwait |
1m 16s |
virt64a-armhf-rb |
cbxi4b-armhf-rb |
armhf_12/7566 |
| 2023-12-31 16:27:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
39s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/21489 |
| 2023-12-31 06:06:00 |
1.7.9-2 |
unstable |
amd64 |
reproducible |
13m 32s |
ionos5-amd64 |
ionos1-amd64 |
amd64_18/12425 |
| 2023-12-29 05:38:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
19s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/21768 |
| 2023-12-28 16:34:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 4s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/11920 |
| 2023-12-27 01:30:00 |
1.7.9-2 |
unstable |
arm64 |
depwait |
28s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/20969 |
| 2023-12-25 15:06:00 |
1.7.9-2 |
unstable |
arm64 |
404 |
|
codethink02-arm64 |
codethink04-arm64 |
arm64_20/16687 |
| 2023-12-20 22:36:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
5m 20s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/16442 |
| 2023-12-08 07:17:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 46s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/8394 |
| 2023-12-04 05:58:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
5m 20s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/11125 |
| 2023-11-18 20:35:00 |
1.7.9-1 |
trixie |
amd64 |
reproducible |
20m 13s |
ionos15-amd64 |
ionos11-amd64 |
amd64_16/942 |
| 2023-11-16 18:07:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
6m 9s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2823 |
| 2023-11-13 13:11:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
6m 2s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/2117 |
| 2023-11-12 18:18:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
16m 24s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/657 |
| 2023-11-09 02:03:00 |
1.7.9-1 |
unstable |
armhf |
reproducible |
25m 46s |
jtx1c-armhf-rb |
virt32c-armhf-rb |
armhf_35/2724 |
| 2023-11-06 12:47:00 |
1.7.9-1 |
trixie |
armhf |
reproducible |
1h 10m 7s |
virt64a-armhf-rb |
cbxi4pro0-armhf-rb |
armhf_41/294 |
| 2023-10-18 20:07:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
22m 37s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/86 |
| 2023-10-04 17:52:00 |
1.7.9-1 |
trixie |
amd64 |
unreproducible |
28m 13s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/4160 |
| 2023-09-29 14:35:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
27m 1s |
codethink9-arm64 |
codethink12-arm64 |
arm64_2/534 |
| 2023-07-26 15:42:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
14m 20s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/3968 |
| 2023-07-03 06:38:00 |
1.7.9-1 |
trixie |
i386 |
reproducible |
7m 34s |
ionos2-i386 |
ionos16-i386 |
i386_3/3272 |
| 2023-06-26 18:38:00 |
1.7.9-1 |
trixie |
i386 |
depwait |
22s |
ionos2-i386 |
ionos6-i386 |
i386_1/2298 |
| 2023-06-24 23:11:00 |
1.7.9-1 |
trixie |
amd64 |
reproducible |
19m 13s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/2036 |
| 2023-06-24 22:43:00 |
1.7.9-1 |
trixie |
arm64 |
reproducible |
25m 32s |
codethink14-arm64 |
codethink15-arm64 |
arm64_24/2081 |
| 2023-06-24 17:40:00 |
1.7.9-1 |
trixie |
armhf |
reproducible |
27m 5s |
virt32b-armhf-rb |
jtx1b-armhf-rb |
armhf_16/2756 |
| 2023-06-20 22:55:00 |
1.7.9-1 |
unstable |
arm64 |
reproducible |
24m 41s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/2237 |
| 2023-06-19 21:36:00 |
1.7.9-1 |
unstable |
amd64 |
reproducible |
13m 28s |
ionos1-amd64 |
ionos15-amd64 |
amd64_27/2117 |
| 2023-06-18 05:33:00 |
1.7.9-1 |
unstable |
armhf |
FTBFS |
23m 37s |
jtx1c-armhf-rb |
cbxi4a-armhf-rb |
armhf_28/2113 |
| 2023-06-17 22:34:00 |
1.7.9-1 |
unstable |
i386 |
FTBFS |
3m 40s |
ionos6-i386 |
ionos2-i386 |
i386_10/1648 |
| 2023-06-07 02:02:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
20m 30s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/343 |
| 2023-05-30 06:04:00 |
1.7.8-2 |
bookworm |
armhf |
reproducible |
28m 42s |
jtx1b-armhf-rb |
virt32c-armhf-rb |
armhf_36/3412 |
| 2023-05-22 08:32:00 |
1.7.8-2 |
bookworm |
i386 |
reproducible |
12m 34s |
ionos6-i386 |
ionos12-i386 |
i386_6/9682 |
| 2023-05-11 18:33:00 |
1.7.8-2 |
unstable |
armhf |
reproducible |
1h 22m 54s |
cbxi4a-armhf-rb |
jtx1b-armhf-rb |
armhf_20/6003 |
| 2023-05-03 11:49:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
20m 1s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/18803 |
| 2023-04-18 07:27:00 |
1.7.8-2 |
bookworm |
armhf |
reproducible |
1h 12m 41s |
virt32a-armhf-rb |
ff64a-armhf-rb |
armhf_14/7305 |
| 2023-04-18 05:06:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
27m 15s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/4315 |
| 2023-04-10 22:58:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
21m 31s |
ionos11-amd64 |
ionos15-amd64 |
amd64_31/4850 |
| 2023-04-10 09:57:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
45m 14s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/6565 |
| 2023-04-02 12:40:00 |
1.7.8-2 |
bookworm |
i386 |
reproducible |
7m 10s |
ionos6-i386 |
ionos12-i386 |
i386_6/3355 |
| 2023-03-29 03:41:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
36m 4s |
ionos15-amd64 |
ionos1-amd64 |
amd64_28/743 |
| 2023-03-21 00:25:00 |
1.7.8-2 |
unstable |
armhf |
reproducible |
45m 35s |
wbq0-armhf-rb |
virt64b-armhf-rb |
armhf_38/2012 |
| 2023-03-13 23:19:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
20m 42s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/23391 |
| 2023-03-12 23:30:00 |
1.7.8-2 |
bookworm |
armhf |
reproducible |
1h 0m 11s |
virt64c-armhf-rb |
wbq0-armhf-rb |
armhf_39/5709 |
| 2023-03-08 18:30:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
23m 9s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/16156 |
| 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-02-01 11:13:00 |
1.7.8-2 |
bookworm |
i386 |
reproducible |
13m 10s |
ionos2-i386 |
ionos16-i386 |
i386_3/582 |
| 2023-01-30 23:49:00 |
1.7.8-2 |
bookworm |
arm64 |
reproducible |
26m 42s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/19937 |
| 2023-01-30 19:41:00 |
1.7.8-2 |
bookworm |
amd64 |
reproducible |
13m 20s |
ionos15-amd64 |
ionos11-amd64 |
amd64_32/5580 |
| 2023-01-30 18:34:00 |
1.7.8-2 |
bookworm |
armhf |
reproducible |
31m 7s |
jtx1c-armhf-rb |
virt32c-armhf-rb |
armhf_35/450 |
| 2023-01-28 17:11:00 |
1.7.8-2 |
unstable |
i386 |
reproducible |
20m 7s |
ionos16-i386 |
ionos12-i386 |
i386_8/707 |
| 2023-01-27 05:54:00 |
1.7.8-2 |
unstable |
armhf |
reproducible |
29m 7s |
jtx1b-armhf-rb |
virt32c-armhf-rb |
armhf_36/2649 |
| 2023-01-26 19:45:00 |
1.7.8-2 |
unstable |
amd64 |
reproducible |
27m 45s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/2894 |
| 2023-01-26 18:08:00 |
1.7.8-2 |
unstable |
arm64 |
reproducible |
27m 40s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/15338 |
| 2023-01-24 10:42:00 |
1.7.8-1 |
bookworm |
armhf |
reproducible |
46m 10s |
jtx1c-armhf-rb |
cbxi4a-armhf-rb |
armhf_28/3799 |
| 2023-01-22 14:06:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
11m 39s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/5987 |
| 2023-01-17 13:02:00 |
1.7.8-1 |
bookworm |
i386 |
reproducible |
10m 5s |
ionos16-i386 |
ionos2-i386 |
i386_4/2176 |
| 2023-01-07 18:38:00 |
1.7.8-1 |
bookworm |
i386 |
depwait |
4m 39s |
ionos2-i386 |
ionos6-i386 |
i386_9/6114 |
| 2022-12-26 01:07:00 |
1.7.8-1 |
bookworm |
arm64 |
reproducible |
24m 24s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/16258 |
| 2022-12-21 22:21:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
21m 25s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/3153 |
| 2022-12-17 05:46:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
23m 41s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/15246 |
| 2022-12-06 07:42:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
17m 39s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/16839 |
| 2022-12-04 21:38:00 |
1.7.8-1 |
unstable |
armhf |
reproducible |
23m 49s |
ff4a-armhf-rb |
virt64c-armhf-rb |
armhf_33/6365 |
| 2022-11-21 01:58:00 |
1.7.8-1 |
bookworm |
armhf |
reproducible |
58m 17s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/4737 |
| 2022-11-10 09:35:00 |
1.7.8-1 |
bookworm |
arm64 |
reproducible |
26m 2s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/1831 |
| 2022-11-07 07:24:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
11m 48s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/1438 |
| 2022-11-06 18:21:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
19m 35s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/11424 |
| 2022-11-03 03:31:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
11m 9s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/1469 |
| 2022-10-08 02:51:00 |
1.7.8-1 |
bookworm |
i386 |
FTBFS |
9m 15s |
ionos6-i386 |
ionos12-i386 |
i386_6/1033 |
| 2022-10-05 07:43:00 |
1.7.8-1 |
unstable |
i386 |
reproducible |
8m 59s |
ionos2-i386 |
ionos16-i386 |
i386_3/960 |
| 2022-10-05 00:17:00 |
1.7.8-1 |
bookworm |
arm64 |
unreproducible |
25m 30s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/8033 |
| 2022-10-04 18:37:00 |
1.7.8-1 |
bookworm |
armhf |
unreproducible |
18m 47s |
jtx1c-armhf-rb |
virt32c-armhf-rb |
armhf_35/9659 |
| 2022-10-04 17:29:00 |
1.7.8-1 |
bookworm |
amd64 |
reproducible |
19m 48s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/11338 |
| 2022-10-04 01:12:00 |
1.7.8-1 |
unstable |
armhf |
unreproducible |
34m 12s |
ff4a-armhf-rb |
virt64c-armhf-rb |
armhf_33/2142 |
| 2022-10-03 15:22:00 |
1.7.8-1 |
unstable |
arm64 |
reproducible |
23m 22s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/8453 |
| 2022-10-02 10:19:00 |
1.7.8-1 |
unstable |
amd64 |
reproducible |
19m 51s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/4945 |