build history of coq-bignums on arm64
| build date |
version |
suite |
architecture |
result |
build duration |
node1 |
node2 |
job |
| 2024-11-23 10:50:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
4m 24s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/70034 |
| 2024-11-18 18:10:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
4m 11s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/61627 |
| 2024-10-27 00:38:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
8m 49s |
codethink04-arm64 |
codethink03-arm64 |
arm64_12/66105 |
| 2024-10-20 08:23:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
4m 55s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/41529 |
| 2024-10-01 21:02:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
4m 3s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/38077 |
| 2024-09-22 14:03:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
12m 38s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/38416 |
| 2024-09-05 06:56:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
4m 33s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/35563 |
| 2024-08-25 02:45:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
5m 11s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/32838 |
| 2024-07-29 08:47:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
3m 25s |
codethink03-arm64 |
codethink01-arm64 |
arm64_17/46461 |
| 2024-07-28 02:50:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
2m 45s |
codethink02-arm64 |
codethink03-arm64 |
arm64_19/28554 |
| 2024-07-03 23:41:00 |
9.0.0+coq8.20-1 |
trixie |
arm64 |
reproducible |
3m 46s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/25851 |
| 2024-06-26 08:41:00 |
9.0.0+coq8.20-1 |
unstable |
arm64 |
reproducible |
3m 4s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/24436 |
| 2024-06-24 09:11:00 |
9.0.0+coq8.19-1 |
trixie |
arm64 |
reproducible |
19m 40s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/47258 |
| 2024-06-13 17:33:00 |
9.0.0+coq8.19-1 |
unstable |
arm64 |
reproducible |
4m 20s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/25344 |
| 2024-06-03 10:49:00 |
9.0.0+coq8.18-1 |
trixie |
arm64 |
reproducible |
3m 2s |
codethink02-arm64 |
codethink03-arm64 |
arm64_7/20842 |
| 2024-05-20 05:55:00 |
9.0.0+coq8.19-1 |
unstable |
arm64 |
reproducible |
8m 27s |
codethink01-arm64 |
codethink04-arm64 |
arm64_15/44101 |
| 2024-05-12 21:57:00 |
9.0.0+coq8.18-1 |
trixie |
arm64 |
reproducible |
3m 36s |
codethink04-arm64 |
codethink01-arm64 |
arm64_18/40541 |
| 2024-04-28 05:25:00 |
9.0.0+coq8.19-1 |
unstable |
arm64 |
reproducible |
3m 36s |
codethink03-arm64 |
codethink02-arm64 |
arm64_9/15260 |
| 2024-04-19 23:40:00 |
9.0.0+coq8.18-1 |
trixie |
arm64 |
reproducible |
3m 11s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/14105 |
| 2024-04-17 10:04:00 |
9.0.0+coq8.18-1 |
unstable |
arm64 |
reproducible |
4m 13s |
codethink01-arm64 |
codethink04-arm64 |
arm64_3/30690 |
| 2024-03-22 06:15:00 |
9.0.0+coq8.18-1 |
trixie |
arm64 |
reproducible |
4m 12s |
codethink01-arm64 |
codethink02-arm64 |
arm64_13/9723 |
| 2024-03-19 12:57:00 |
9.0.0+coq8.18-1 |
unstable |
arm64 |
reproducible |
4m 32s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/8972 |
| 2024-01-27 02:59:00 |
9.0.0+coq8.18-1 |
trixie |
arm64 |
reproducible |
4m 36s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/857 |
| 2024-01-17 01:38:00 |
9.0.0+coq8.18-1 |
unstable |
arm64 |
reproducible |
2m 42s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/202 |
| 2023-12-30 22:16:00 |
8.17.0-3 |
trixie |
arm64 |
reproducible |
3m 40s |
codethink04-arm64 |
codethink02-arm64 |
arm64_10/17951 |
| 2023-12-28 17:22:00 |
8.17.0-3 |
trixie |
arm64 |
depwait |
7m 23s |
codethink01-arm64 |
codethink03-arm64 |
arm64_2/21068 |
| 2023-12-23 16:12:00 |
9.0.0+coq8.18-1 |
unstable |
arm64 |
reproducible |
3m 30s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/19726 |
| 2023-12-08 08:10:00 |
8.17.0-3 |
trixie |
arm64 |
reproducible |
3m 30s |
codethink02-arm64 |
codethink04-arm64 |
arm64_20/7849 |
| 2023-12-06 17:17:00 |
8.17.0-3 |
unstable |
arm64 |
reproducible |
2m 48s |
codethink03-arm64 |
codethink01-arm64 |
arm64_5/11615 |
| 2023-11-16 19:13:00 |
8.17.0-3 |
trixie |
arm64 |
reproducible |
2m 56s |
codethink04-arm64 |
codethink03-arm64 |
arm64_24/6437 |
| 2023-11-16 03:12:00 |
8.17.0-3 |
unstable |
arm64 |
reproducible |
2m 58s |
codethink01-arm64 |
codethink02-arm64 |
arm64_1/2131 |
| 2023-11-13 17:32:00 |
8.17.0-3 |
unstable |
arm64 |
depwait |
1m 55s |
codethink04-arm64 |
codethink01-arm64 |
arm64_6/5488 |
| 2023-10-18 22:47:00 |
8.17.0-3 |
trixie |
arm64 |
reproducible |
10m 9s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/106 |
| 2023-09-29 21:54:00 |
8.17.0-3 |
unstable |
arm64 |
reproducible |
13m 47s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/460 |
| 2023-06-24 22:49:00 |
8.17.0-3 |
trixie |
arm64 |
reproducible |
12m 45s |
codethink16-arm64 |
codethink13-arm64 |
arm64_31/2811 |
| 2023-06-20 04:24:00 |
8.17.0-3 |
unstable |
arm64 |
reproducible |
9m 56s |
codethink16-arm64 |
codethink15-arm64 |
arm64_32/2100 |
| 2023-04-19 18:20:00 |
8.17.0-2 |
bookworm |
arm64 |
reproducible |
13m 2s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/29510 |
| 2023-04-10 23:47:00 |
8.17.0-2 |
unstable |
arm64 |
reproducible |
15m 45s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/24473 |
| 2023-03-14 03:18:00 |
8.17.0-2 |
bookworm |
arm64 |
reproducible |
11m 34s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/22037 |
| 2023-03-08 10:15:00 |
8.17.0-2 |
unstable |
arm64 |
reproducible |
9m 4s |
codethink12-arm64 |
codethink11-arm64 |
arm64_14/450 |
| 2023-01-31 01:16:00 |
8.17.0-2 |
bookworm |
arm64 |
reproducible |
18m 28s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/19944 |
| 2023-01-25 13:57:00 |
8.17.0-2 |
unstable |
arm64 |
reproducible |
11m 29s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/18836 |
| 2022-12-30 10:02:00 |
8.17.0-1 |
bookworm |
arm64 |
reproducible |
13m 28s |
codethink11-arm64 |
codethink10-arm64 |
arm64_9/895 |
| 2022-12-27 18:49:00 |
8.17.0-1 |
unstable |
arm64 |
reproducible |
15m 43s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/16030 |
| 2022-12-02 20:36:00 |
8.16.0-1 |
bookworm |
arm64 |
reproducible |
14m 22s |
codethink14-arm64 |
codethink11-arm64 |
arm64_22/13387 |
| 2022-11-27 14:03:00 |
8.16.0-1 |
unstable |
arm64 |
reproducible |
12m 55s |
codethink10-arm64 |
codethink13-arm64 |
arm64_7/3098 |
| 2022-10-28 01:12:00 |
8.16.0-1 |
bookworm |
arm64 |
reproducible |
12m 35s |
codethink15-arm64 |
codethink14-arm64 |
arm64_27/11320 |
| 2022-10-25 04:42:00 |
8.16.0-1 |
unstable |
arm64 |
reproducible |
11m 20s |
codethink13-arm64 |
codethink12-arm64 |
arm64_18/10933 |
| 2022-09-21 21:31:00 |
8.16.0-1 |
bookworm |
arm64 |
reproducible |
12m 2s |
codethink13-arm64 |
codethink16-arm64 |
arm64_20/7369 |
| 2022-09-08 20:10:00 |
8.16.0-1 |
unstable |
arm64 |
reproducible |
8m 21s |
codethink10-arm64 |
codethink15-arm64 |
arm64_8/5807 |
| 2022-08-21 08:30:00 |
8.15.0-7 |
unstable |
arm64 |
reproducible |
15m 49s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/5291 |
| 2022-08-13 10:31:00 |
8.15.0-7 |
bookworm |
arm64 |
reproducible |
17m 52s |
codethink12-arm64 |
codethink9-arm64 |
arm64_13/3728 |
| 2022-07-20 19:33:00 |
8.15.0-7 |
unstable |
arm64 |
reproducible |
18m 35s |
codethink10-arm64 |
codethink13-arm64 |
arm64_7/1891 |
| 2022-07-11 14:27:00 |
8.15.0-7 |
bookworm |
arm64 |
reproducible |
14m 46s |
codethink14-arm64 |
codethink13-arm64 |
arm64_23/858 |
| 2022-06-15 20:22:00 |
8.15.0-7 |
unstable |
arm64 |
reproducible |
18m 15s |
codethink16-arm64 |
codethink11-arm64 |
arm64_30/48144 |
| 2022-06-14 11:42:00 |
8.15.0-6 |
unstable |
arm64 |
reproducible |
18m 21s |
codethink9-arm64 |
codethink16-arm64 |
arm64_4/4113 |
| 2022-06-12 18:48:00 |
8.15.0-5 |
unstable |
arm64 |
reproducible |
19m 53s |
codethink14-arm64 |
codethink9-arm64 |
arm64_21/66699 |
| 2022-06-12 16:53:00 |
8.15.0-1 |
bookworm |
arm64 |
reproducible |
20m 41s |
codethink13-arm64 |
codethink14-arm64 |
arm64_19/54323 |
| 2022-06-02 00:04:00 |
8.15.0-3 |
unstable |
arm64 |
reproducible |
20m 8s |
codethink10-arm64 |
codethink9-arm64 |
arm64_5/6163 |
| 2022-05-22 22:26:00 |
8.15.0-2 |
unstable |
arm64 |
reproducible |
18m 51s |
codethink16-arm64 |
codethink9-arm64 |
arm64_29/42825 |
| 2022-05-15 13:28:00 |
8.15.0-1 |
bookworm |
arm64 |
reproducible |
15m 32s |
codethink15-arm64 |
codethink10-arm64 |
arm64_25/6837 |
| 2022-05-14 04:29:00 |
8.15.0-1 |
unstable |
arm64 |
reproducible |
16m 53s |
codethink9-arm64 |
codethink10-arm64 |
arm64_1/5846 |