build history of coq-ext-lib
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-04-27 21:39:00 |
0.12.1-1 |
unstable |
armhf |
404 |
|
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/2061 |
| 2024-04-21 09:54:00 |
0.12.0-1 |
trixie |
armhf |
reproducible |
18m 57s |
virt64b-armhf-rb |
cbxi4a-armhf-rb |
armhf_7/1724 |
| 2024-04-21 05:44:00 |
0.12.0-1 |
trixie |
amd64 |
reproducible |
5m 44s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/17130 |
| 2024-04-19 08:50:00 |
0.12.0-1 |
unstable |
amd64 |
reproducible |
6m 31s |
ionos1-amd64 |
ionos15-amd64 |
amd64_3/17571 |
| 2024-04-19 06:14:00 |
0.12.0-1 |
trixie |
arm64 |
reproducible |
2m 25s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/31796 |
| 2024-04-16 19:31:00 |
0.12.0-1 |
unstable |
arm64 |
reproducible |
3m 15s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/35668 |
| 2024-04-03 05:00:00 |
0.12.0-1 |
trixie |
amd64 |
reproducible |
3m 52s |
ionos11-amd64 |
ionos15-amd64 |
amd64_7/16114 |
| 2024-03-31 08:47:00 |
0.12.0-1 |
unstable |
amd64 |
reproducible |
6m 22s |
ionos5-amd64 |
ionos1-amd64 |
amd64_2/1884 |
| 2024-03-21 18:36:00 |
0.12.0-1 |
trixie |
arm64 |
reproducible |
2m 24s |
codethink02-arm64 |
codethink04-arm64 |
arm64_8/2414 |
| 2024-03-19 08:36:00 |
0.12.0-1 |
unstable |
arm64 |
reproducible |
3m 2s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/2263 |
| 2024-02-17 07:01:00 |
0.12.0-1 |
trixie |
i386 |
reproducible |
2m 27s |
ionos2-i386 |
ionos6-i386 |
i386_1/17887 |
| 2024-02-01 11:27:00 |
0.12.0-1 |
trixie |
amd64 |
reproducible |
8m 34s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/10764 |
| 2024-02-01 10:27:00 |
0.12.0-1 |
trixie |
armhf |
reproducible |
8m 32s |
ff64a-armhf-rb |
virt32c-armhf-rb |
armhf_30/9755 |
| 2024-01-27 01:45:00 |
0.12.0-1 |
trixie |
arm64 |
reproducible |
3m 10s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/26199 |
| 2024-01-16 13:29:00 |
0.12.0-1 |
unstable |
arm64 |
reproducible |
2m 12s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/112 |
| 2024-01-05 09:11:00 |
0.12.0-1 |
unstable |
i386 |
reproducible |
4m 32s |
ionos16-i386 |
ionos2-i386 |
i386_4/6424 |
| 2023-12-31 14:16:00 |
0.12.0-1 |
unstable |
armhf |
reproducible |
41m 8s |
virt64c-armhf-rb |
cbxi4a-armhf-rb |
armhf_19/205 |
| 2023-12-29 05:32:00 |
0.12.0-1 |
unstable |
amd64 |
reproducible |
4m 7s |
ionos1-amd64 |
ionos15-amd64 |
amd64_19/9610 |
| 2023-12-26 00:27:00 |
0.11.8-1 |
trixie |
arm64 |
reproducible |
2m 17s |
codethink03-arm64 |
codethink04-arm64 |
arm64_11/21206 |
| 2023-12-23 15:36:00 |
0.12.0-1 |
unstable |
arm64 |
reproducible |
1m 55s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/19721 |
| 2023-12-20 06:34:00 |
0.11.8-1 |
unstable |
arm64 |
reproducible |
2m 1s |
codethink01-arm64 |
codethink03-arm64 |
arm64_2/19475 |
| 2023-12-07 02:31:00 |
0.11.8-1 |
trixie |
arm64 |
reproducible |
2m 50s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/11932 |
| 2023-12-03 07:40:00 |
0.11.8-1 |
unstable |
arm64 |
reproducible |
2m 19s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/11059 |
| 2023-11-23 20:51:00 |
0.11.8-1 |
unstable |
armhf |
reproducible |
13m 23s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_6/3098 |
| 2023-11-16 00:16:00 |
0.11.8-1 |
trixie |
arm64 |
reproducible |
2m 14s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/6186 |
| 2023-11-13 00:10:00 |
0.11.8-1 |
unstable |
arm64 |
reproducible |
2m 26s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/5524 |
| 2023-11-12 23:34:00 |
0.11.8-1 |
unstable |
amd64 |
reproducible |
4m 49s |
ionos11-amd64 |
ionos5-amd64 |
amd64_21/3299 |
| 2023-11-06 11:25:00 |
0.11.8-1 |
trixie |
armhf |
reproducible |
21m 53s |
virt32a-armhf-rb |
jtx1a-armhf-rb |
armhf_9/2330 |
| 2023-10-18 08:29:00 |
0.11.8-1 |
trixie |
arm64 |
reproducible |
6m 51s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/55 |
| 2023-10-03 14:39:00 |
0.11.8-1 |
trixie |
amd64 |
reproducible |
10m 10s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/893 |
| 2023-09-29 10:57:00 |
0.11.8-1 |
unstable |
arm64 |
reproducible |
5m 32s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/335 |
| 2023-07-31 19:06:00 |
0.11.8-1 |
unstable |
i386 |
reproducible |
5m 33s |
ionos2-i386 |
ionos16-i386 |
i386_11/2632 |
| 2023-07-26 16:11:00 |
0.11.8-1 |
unstable |
amd64 |
reproducible |
3m 13s |
ionos1-amd64 |
ionos5-amd64 |
amd64_9/5104 |
| 2023-06-29 07:45:00 |
0.11.8-1 |
unstable |
armhf |
reproducible |
12m 17s |
ff4a-armhf-rb |
virt64c-armhf-rb |
armhf_33/3713 |
| 2023-06-26 15:11:00 |
0.11.8-1 |
trixie |
i386 |
reproducible |
15m 13s |
ionos2-i386 |
ionos6-i386 |
i386_1/2283 |
| 2023-06-24 20:12:00 |
0.11.8-1 |
trixie |
amd64 |
reproducible |
6m 36s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/1563 |
| 2023-06-24 19:27:00 |
0.11.8-1 |
trixie |
arm64 |
reproducible |
4m 9s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/2378 |
| 2023-06-24 17:49:00 |
0.11.8-1 |
trixie |
armhf |
reproducible |
9m 45s |
jtx1c-armhf-rb |
virt32a-armhf-rb |
armhf_45/3976 |
| 2023-06-19 22:57:00 |
0.11.8-1 |
unstable |
arm64 |
reproducible |
7m 4s |
codethink10-arm64 |
codethink11-arm64 |
arm64_6/2298 |
| 2023-06-19 05:47:00 |
0.11.8-1 |
unstable |
amd64 |
reproducible |
5m 36s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/1921 |
| 2023-06-17 11:10:00 |
0.11.8-1 |
unstable |
i386 |
FTBFS |
2m 11s |
ionos6-i386 |
ionos12-i386 |
i386_6/2717 |
| 2023-06-17 07:41:00 |
0.11.8-1 |
unstable |
armhf |
FTBFS |
14m 53s |
jtx1c-armhf-rb |
cbxi4a-armhf-rb |
armhf_28/2041 |
| 2023-06-07 11:11:00 |
0.11.7-2 |
bookworm |
amd64 |
reproducible |
5m 17s |
ionos1-amd64 |
ionos5-amd64 |
amd64_25/440 |
| 2023-05-30 10:04:00 |
0.11.7-2 |
bookworm |
armhf |
reproducible |
8m 5s |
virt32c-armhf-rb |
jtx1c-armhf-rb |
armhf_25/3648 |
| 2023-05-22 19:33:00 |
0.11.7-2 |
bookworm |
i386 |
reproducible |
8m 41s |
ionos12-i386 |
ionos16-i386 |
i386_7/10202 |
| 2023-05-09 02:59:00 |
0.11.7-2 |
unstable |
armhf |
reproducible |
6m 4s |
jtx1b-armhf-rb |
virt32c-armhf-rb |
armhf_36/1409 |
| 2023-05-04 00:31:00 |
0.11.7-2 |
unstable |
amd64 |
reproducible |
4m 52s |
ionos5-amd64 |
ionos11-amd64 |
amd64_30/14305 |
| 2023-04-19 19:27:00 |
0.11.7-2 |
bookworm |
arm64 |
reproducible |
4m 31s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/7242 |
| 2023-04-18 09:15:00 |
0.11.7-2 |
bookworm |
armhf |
reproducible |
12m 13s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_15/8195 |
| 2023-04-11 06:04:00 |
0.11.7-2 |
bookworm |
amd64 |
reproducible |
7m 56s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/18145 |
| 2023-04-10 23:26:00 |
0.11.7-2 |
unstable |
arm64 |
reproducible |
5m 51s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/24078 |
| 2023-04-02 18:57:00 |
0.11.7-2 |
bookworm |
i386 |
reproducible |
7m 1s |
ionos2-i386 |
ionos16-i386 |
i386_3/5611 |
| 2023-03-29 14:23:00 |
0.11.7-2 |
unstable |
amd64 |
reproducible |
5m 2s |
ionos11-amd64 |
ionos5-amd64 |
amd64_13/12213 |
| 2023-03-20 06:29:00 |
0.11.7-2 |
unstable |
armhf |
reproducible |
6m 56s |
virt32c-armhf-rb |
jtx1c-armhf-rb |
armhf_25/4578 |
| 2023-03-14 04:20:00 |
0.11.7-2 |
bookworm |
arm64 |
reproducible |
4m 56s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/21541 |
| 2023-03-13 02:23:00 |
0.11.7-2 |
bookworm |
armhf |
reproducible |
16m 52s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_6/4430 |
| 2023-03-08 10:04:00 |
0.11.7-2 |
unstable |
arm64 |
reproducible |
4m 26s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/21149 |
| 2023-03-06 17:42:00 |
0.11.7-2 |
bookworm |
amd64 |
reproducible |
2m 23s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/11563 |
| 2023-03-01 06:03:00 |
0.11.7-2 |
unstable |
amd64 |
reproducible |
5m 17s |
ionos1-amd64 |
ionos15-amd64 |
amd64_11/7404 |
| 2023-02-01 11:48:00 |
0.11.7-2 |
bookworm |
i386 |
reproducible |
3m 40s |
ionos2-i386 |
ionos16-i386 |
i386_3/587 |
| 2023-01-31 01:16:00 |
0.11.7-2 |
bookworm |
arm64 |
reproducible |
5m 26s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/19063 |
| 2023-01-30 20:32:00 |
0.11.7-2 |
bookworm |
amd64 |
reproducible |
11m 57s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/16075 |
| 2023-01-30 19:26:00 |
0.11.7-2 |
bookworm |
armhf |
reproducible |
14m 12s |
virt32b-armhf-rb |
jtx1b-armhf-rb |
armhf_16/420 |
| 2023-01-27 22:12:00 |
0.11.7-2 |
unstable |
i386 |
reproducible |
2m 39s |
ionos6-i386 |
ionos12-i386 |
i386_6/496 |
| 2023-01-27 21:23:00 |
0.11.7-1 |
bookworm |
armhf |
reproducible |
15m 21s |
virt64a-armhf-rb |
ff4a-armhf-rb |
armhf_8/225 |
| 2023-01-26 18:02:00 |
0.11.7-2 |
unstable |
amd64 |
reproducible |
8m 28s |
ionos15-amd64 |
ionos11-amd64 |
amd64_24/15680 |
| 2023-01-25 15:16:00 |
0.11.7-2 |
unstable |
armhf |
reproducible |
31m 19s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/1237 |
| 2023-01-25 13:48:00 |
0.11.7-2 |
unstable |
arm64 |
reproducible |
4m 19s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/17970 |
| 2023-01-06 03:04:00 |
0.11.7-1 |
unstable |
armhf |
reproducible |
12m 22s |
jtx1b-armhf-rb |
virt32a-armhf-rb |
armhf_10/5066 |
| 2022-12-27 21:22:00 |
0.11.7-1 |
bookworm |
amd64 |
reproducible |
5m 8s |
ionos11-amd64 |
ionos15-amd64 |
amd64_23/2094 |
| 2022-12-27 13:47:00 |
0.11.7-1 |
bookworm |
arm64 |
reproducible |
8m 48s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/16293 |
| 2022-12-16 02:00:00 |
0.11.7-1 |
unstable |
arm64 |
reproducible |
6m 45s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/6121 |
| 2022-12-15 17:40:00 |
0.11.7-1 |
unstable |
amd64 |
reproducible |
9m 24s |
ionos1-amd64 |
ionos5-amd64 |
amd64_17/281 |
| 2022-11-22 14:07:00 |
0.11.7-1 |
bookworm |
armhf |
reproducible |
10m 44s |
virt64c-armhf-rb |
virt32c-armhf-rb |
armhf_32/271 |
| 2022-11-12 10:21:00 |
0.11.7-1 |
bookworm |
amd64 |
reproducible |
9m 23s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/15502 |
| 2022-11-12 06:37:00 |
0.11.7-1 |
bookworm |
arm64 |
reproducible |
5m 39s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/12396 |
| 2022-11-09 09:55:00 |
0.11.7-1 |
bookworm |
i386 |
reproducible |
5m 25s |
ionos16-i386 |
ionos2-i386 |
i386_4/550 |
| 2022-11-06 17:02:00 |
0.11.7-1 |
unstable |
amd64 |
reproducible |
3m 5s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/1743 |
| 2022-11-05 18:35:00 |
0.11.7-1 |
unstable |
arm64 |
reproducible |
5m 35s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/10807 |
| 2022-10-25 10:47:00 |
0.11.7-1 |
unstable |
armhf |
reproducible |
15m 43s |
jtx1b-armhf-rb |
wbq0-armhf-rb |
armhf_40/70 |
| 2022-10-10 04:03:00 |
0.11.7-1 |
bookworm |
amd64 |
reproducible |
3m 44s |
ionos15-amd64 |
ionos11-amd64 |
amd64_8/2073 |
| 2022-10-07 12:28:00 |
0.11.7-1 |
bookworm |
armhf |
unreproducible |
18m 50s |
virt32a-armhf-rb |
virt64a-armhf-rb |
armhf_29/6476 |
| 2022-10-07 03:20:00 |
0.11.7-1 |
bookworm |
arm64 |
unreproducible |
6m 37s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/8442 |
| 2022-10-06 02:39:00 |
0.11.7-1 |
unstable |
amd64 |
reproducible |
14m 37s |
ionos15-amd64 |
ionos1-amd64 |
amd64_12/11325 |
| 2022-10-01 23:43:00 |
0.11.7-1 |
unstable |
arm64 |
reproducible |
5m 49s |
codethink15-arm64 |
codethink12-arm64 |
arm64_26/9290 |
| 2022-08-18 22:53:00 |
0.11.7-1 |
bookworm |
i386 |
unreproducible |
4m 0s |
ionos6-i386 |
ionos12-i386 |
i386_6/7010 |
| 2022-08-18 07:20:00 |
0.11.7-1 |
bookworm |
armhf |
unreproducible |
20m 53s |
jtx1a-armhf-rb |
virt32a-armhf-rb |
armhf_27/2809 |
| 2022-08-18 01:06:00 |
0.11.7-1 |
bookworm |
amd64 |
reproducible |
5m 52s |
ionos11-amd64 |
ionos15-amd64 |
amd64_15/5288 |
| 2022-08-17 19:53:00 |
0.11.7-1 |
bookworm |
arm64 |
unreproducible |
6m 17s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/4428 |
| 2022-08-14 15:51:00 |
0.11.7-1 |
unstable |
i386 |
unreproducible |
3m 6s |
ionos12-i386 |
ionos16-i386 |
i386_7/6022 |
| 2022-08-14 05:45:00 |
0.11.7-1 |
unstable |
armhf |
unreproducible |
9m 25s |
jtx1c-armhf-rb |
virt32c-armhf-rb |
armhf_35/4258 |
| 2022-08-14 04:29:00 |
0.11.7-1 |
unstable |
amd64 |
reproducible |
6m 12s |
ionos15-amd64 |
ionos1-amd64 |
amd64_20/4764 |
| 2022-08-14 04:29:00 |
0.11.7-1 |
unstable |
arm64 |
reproducible |
5m 40s |
codethink11-arm64 |
codethink12-arm64 |
arm64_10/4786 |
| 2022-08-12 15:07:00 |
0.11.6-2 |
bookworm |
amd64 |
reproducible |
5m 29s |
ionos5-amd64 |
ionos1-amd64 |
amd64_26/5504 |
| 2022-08-09 09:55:00 |
0.11.6-2 |
unstable |
amd64 |
reproducible |
7m 55s |
ionos5-amd64 |
ionos1-amd64 |
amd64_10/4246 |
| 2022-07-18 10:55:00 |
0.11.6-2 |
bookworm |
i386 |
unreproducible |
6m 31s |
ionos2-i386 |
ionos6-i386 |
i386_9/1834 |
| 2022-07-18 09:05:00 |
0.11.6-2 |
bookworm |
armhf |
unreproducible |
10m 8s |
virt32b-armhf-rb |
jtx1c-armhf-rb |
armhf_11/1811 |
| 2022-07-18 08:19:00 |
0.11.6-2 |
bookworm |
arm64 |
reproducible |
10m 40s |
codethink9-arm64 |
codethink14-arm64 |
arm64_3/1569 |
| 2022-07-18 07:46:00 |
0.11.6-2 |
bookworm |
amd64 |
reproducible |
4m 7s |
ionos5-amd64 |
ionos11-amd64 |
amd64_14/3160 |
| 2022-07-17 11:20:00 |
0.11.6-2 |
unstable |
i386 |
unreproducible |
4m 29s |
ionos2-i386 |
ionos16-i386 |
i386_11/1952 |
| 2022-07-17 05:05:00 |
0.11.6-2 |
unstable |
armhf |
unreproducible |
12m 34s |
virt64b-armhf-rb |
virt32b-armhf-rb |
armhf_15/10 |
| 2022-07-16 18:47:00 |
0.11.6-2 |
unstable |
arm64 |
unreproducible |
10m 56s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/1867 |
| 2022-07-16 17:16:00 |
0.11.6-2 |
unstable |
amd64 |
reproducible |
7m 24s |
ionos11-amd64 |
ionos5-amd64 |
amd64_5/2315 |
| 2022-07-12 00:32:00 |
0.11.6-1 |
bookworm |
i386 |
unreproducible |
5m 1s |
ionos6-i386 |
ionos12-i386 |
i386_6/2048 |
| 2022-07-11 14:17:00 |
0.11.6-1 |
bookworm |
arm64 |
unreproducible |
7m 16s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/554 |
| 2022-07-10 19:55:00 |
0.11.6-1 |
bookworm |
amd64 |
reproducible |
7m 7s |
ionos15-amd64 |
ionos1-amd64 |
amd64_4/1585 |
| 2022-07-10 14:08:00 |
0.11.6-1 |
bookworm |
armhf |
unreproducible |
22m 43s |
ff64a-armhf-rb |
virt32a-armhf-rb |
armhf_18/532 |
| 2022-07-08 13:47:00 |
0.11.6-1 |
unstable |
arm64 |
unreproducible |
6m 15s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/536 |
| 2022-07-07 20:32:00 |
0.11.6-1 |
unstable |
i386 |
unreproducible |
4m 52s |
ionos16-i386 |
ionos2-i386 |
i386_4/874 |
| 2022-07-07 11:29:00 |
0.11.6-1 |
unstable |
armhf |
unreproducible |
15m 58s |
ff64a-armhf-rb |
virt32b-armhf-rb |
armhf_13/493 |
| 2022-07-07 07:48:00 |
0.11.6-1 |
unstable |
amd64 |
reproducible |
4m 59s |
ionos5-amd64 |
ionos11-amd64 |
amd64_6/1057 |