build history of coq-reduction-effects on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2025-11-03 10:04:00 |
0.1.5-5 |
forky |
arm64 |
reproducible |
1m 27s |
codethink03-arm64 |
codethink04-arm64 |
arm64_5/127584 |
| 2025-10-29 21:08:00 |
0.1.6-1 |
experimental |
arm64 |
reproducible |
4m 7s |
codethink03-arm64 |
codethink04-arm64 |
arm64_1/103648 |
| 2025-09-08 16:41:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
1m 57s |
codethink04-arm64 |
codethink03-arm64 |
arm64_11/122654 |
| 2025-08-30 19:20:00 |
0.1.5-5 |
forky |
arm64 |
reproducible |
15m 37s |
codethink03-arm64 |
codethink04-arm64 |
arm64_3/113277 |
| 2025-07-20 13:02:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 11s |
codethink03-arm64 |
codethink04-arm64 |
arm64_2/103759 |
| 2025-07-15 05:41:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
2m 27s |
codethink03-arm64 |
codethink04-arm64 |
arm64_4/85470 |
| 2025-06-16 06:03:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
3m 1s |
codethink03-arm64 |
codethink04-arm64 |
arm64_2/96451 |
| 2025-06-12 19:08:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
1m 59s |
codethink04-arm64 |
codethink03-arm64 |
arm64_10/77227 |
| 2025-05-05 16:37:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 40s |
codethink03-arm64 |
codethink04-arm64 |
arm64_2/88062 |
| 2025-05-02 08:53:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
1m 43s |
codethink03-arm64 |
codethink04-arm64 |
arm64_3/89944 |
| 2025-03-14 00:46:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 39s |
codethink04-arm64 |
codethink03-arm64 |
arm64_10/61801 |
| 2025-03-12 02:05:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
1m 57s |
codethink04-arm64 |
codethink03-arm64 |
arm64_9/63895 |
| 2025-01-15 10:44:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 5s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/73819 |
| 2025-01-14 23:57:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
2m 12s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/49080 |
| 2024-12-15 05:56:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
2m 27s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/49732 |
| 2024-12-14 21:25:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 27s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/68516 |
| 2024-11-23 11:05:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
1m 58s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/45921 |
| 2024-11-22 19:38:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 51s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/69831 |
| 2024-10-27 02:47:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
34m 41s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/66110 |
| 2024-10-26 05:54:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 12s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/41557 |
| 2024-10-01 21:34:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
2m 17s |
codethink02-arm64 |
codethink01-arm64 |
arm64_4/38472 |
| 2024-09-30 07:37:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 15s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/58908 |
| 2024-09-05 09:45:00 |
0.1.5-5 |
trixie |
arm64 |
reproducible |
2m 15s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/35573 |
| 2024-09-02 08:22:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
2m 23s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/35999 |
| 2024-08-04 12:17:00 |
0.1.5-5 |
unstable |
arm64 |
reproducible |
1m 59s |
codethink03-arm64 |
codethink02-arm64 |
arm64_21/24229 |
| 2024-07-26 07:48:00 |
0.1.5-4 |
trixie |
arm64 |
reproducible |
1m 43s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/46004 |
| 2024-07-14 14:51:00 |
0.1.5-4 |
unstable |
arm64 |
reproducible |
1m 52s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/48985 |
| 2024-06-24 10:29:00 |
0.1.5-4 |
trixie |
arm64 |
reproducible |
19m 47s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/47673 |
| 2024-06-24 06:33:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
2m 19s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/24178 |
| 2024-06-10 17:24:00 |
0.1.5-4 |
unstable |
arm64 |
reproducible |
1m 47s |
codethink02-arm64 |
codethink01-arm64 |
arm64_16/14965 |
| 2024-06-01 10:54:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
2m 52s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/21308 |
| 2024-05-18 17:43:00 |
0.1.5-4 |
unstable |
arm64 |
reproducible |
1m 58s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/36796 |
| 2024-05-11 03:46:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
2m 37s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/35602 |
| 2024-04-27 00:39:00 |
0.1.5-4 |
unstable |
arm64 |
reproducible |
2m 1s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/15450 |
| 2024-04-19 07:43:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
1m 38s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/36369 |
| 2024-04-17 16:02:00 |
0.1.5-1 |
unstable |
arm64 |
reproducible |
1m 58s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/13920 |
| 2024-03-21 23:27:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
1m 50s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/32730 |
| 2024-03-19 19:38:00 |
0.1.5-1 |
unstable |
arm64 |
reproducible |
2m 18s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/26951 |
| 2024-01-27 01:35:00 |
0.1.5-1 |
trixie |
arm64 |
reproducible |
1m 48s |
codethink04-arm64 |
codethink02-arm64 |
arm64_22/1094 |
| 2024-01-17 18:37:00 |
0.1.5-1 |
unstable |
arm64 |
reproducible |
2m 10s |
codethink03-arm64 |
codethink04-arm64 |
arm64_23/24680 |
| 2023-12-26 20:42:00 |
0.1.4-4 |
trixie |
arm64 |
reproducible |
1m 44s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/17185 |
| 2023-12-23 16:01:00 |
0.1.5-1 |
unstable |
arm64 |
reproducible |
1m 48s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/15629 |
| 2023-12-19 14:02:00 |
0.1.4-4 |
unstable |
arm64 |
reproducible |
1m 31s |
codethink01-arm64 |
codethink03-arm64 |
arm64_14/19168 |
| 2023-12-07 18:54:00 |
0.1.4-4 |
trixie |
arm64 |
reproducible |
1m 45s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/11978 |
| 2023-12-03 05:36:00 |
0.1.4-4 |
unstable |
arm64 |
reproducible |
2m 20s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/10990 |
| 2023-11-16 13:55:00 |
0.1.4-4 |
trixie |
arm64 |
reproducible |
1m 54s |
codethink01-arm64 |
codethink03-arm64 |
arm64_2/6430 |
| 2023-11-12 20:43:00 |
0.1.4-4 |
unstable |
arm64 |
reproducible |
1m 47s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/5492 |
| 2023-10-18 13:08:00 |
0.1.4-4 |
trixie |
arm64 |
reproducible |
4m 3s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/58 |
| 2023-09-29 05:08:00 |
0.1.4-4 |
unstable |
arm64 |
reproducible |
3m 42s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/512 |
| 2023-06-24 20:00:00 |
0.1.4-4 |
trixie |
arm64 |
reproducible |
3m 1s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/2257 |
| 2023-06-19 23:43:00 |
0.1.4-4 |
unstable |
arm64 |
reproducible |
3m 47s |
codethink13-arm64 |
codethink10-arm64 |
arm64_17/2425 |
| 2023-06-11 13:45:00 |
0.1.4-3 |
unstable |
arm64 |
reproducible |
3m 10s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/840 |
| 2023-04-17 19:24:00 |
0.1.4-3 |
bookworm |
arm64 |
reproducible |
2m 35s |
codethink10-arm64 |
codethink13-arm64 |
arm64_7/6091 |
| 2023-04-08 22:33:00 |
0.1.4-3 |
unstable |
arm64 |
reproducible |
4m 20s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/25518 |
| 2023-03-13 17:59:00 |
0.1.4-3 |
bookworm |
arm64 |
reproducible |
3m 36s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/632 |
| 2023-03-07 14:04:00 |
0.1.4-3 |
unstable |
arm64 |
reproducible |
3m 47s |
codethink11-arm64 |
codethink14-arm64 |
arm64_11/361 |
| 2023-01-30 22:47:00 |
0.1.4-3 |
bookworm |
arm64 |
reproducible |
4m 41s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/14046 |
| 2023-01-25 13:49:00 |
0.1.4-3 |
unstable |
arm64 |
reproducible |
2m 46s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/18488 |
| 2023-01-18 15:32:00 |
0.1.4-2 |
bookworm |
arm64 |
reproducible |
3m 46s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/2087 |
| 2023-01-10 02:00:00 |
0.1.4-2 |
unstable |
arm64 |
reproducible |
3m 24s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/1301 |
| 2022-11-30 00:50:00 |
0.1.4-2 |
bookworm |
arm64 |
reproducible |
4m 6s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/11022 |
| 2022-11-25 03:48:00 |
0.1.4-2 |
unstable |
arm64 |
reproducible |
4m 8s |
codethink14-arm64 |
codethink9-arm64 |
arm64_21/8582 |
| 2022-10-27 07:56:00 |
0.1.4-2 |
bookworm |
arm64 |
reproducible |
4m 56s |
codethink11-arm64 |
codethink16-arm64 |
arm64_12/1758 |
| 2022-10-24 05:30:00 |
0.1.4-2 |
unstable |
arm64 |
reproducible |
5m 13s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/11205 |
| 2022-09-21 18:29:00 |
0.1.4-2 |
bookworm |
arm64 |
reproducible |
4m 44s |
codethink15-arm64 |
codethink16-arm64 |
arm64_28/7199 |
| 2022-09-08 18:08:00 |
0.1.4-2 |
unstable |
arm64 |
reproducible |
4m 6s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/5369 |
| 2022-08-15 06:50:00 |
0.1.4-1 |
bookworm |
arm64 |
reproducible |
4m 27s |
codethink11-arm64 |
codethink12-arm64 |
arm64_10/4911 |
| 2022-08-13 09:45:00 |
0.1.4-1 |
unstable |
arm64 |
reproducible |
19m 29s |
codethink12-arm64 |
codethink15-arm64 |
arm64_16/387 |
| 2022-07-28 03:46:00 |
0.1.3-2 |
bookworm |
arm64 |
reproducible |
7m 53s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/2882 |
| 2022-07-21 01:49:00 |
0.1.3-2 |
unstable |
arm64 |
reproducible |
5m 52s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/1996 |