build history of coq-hammer

build date version suite architecture result build duration node1 node2 job
2024-04-16 19:33:00 1.3.2+8.18-1 unstable arm64 reproduciblereproducible 2m 42s codethink01-arm64 codethink04-arm64 arm64_3/30613
2024-04-04 19:03:00 1.3.2+8.18-1 trixie amd64 reproduciblereproducible 2m 28s infom01-amd64 infom02-amd64 amd64_37/4010
2024-03-31 03:35:00 1.3.2+8.18-1 unstable amd64 reproduciblereproducible 7m 17s ionos5-amd64 ionos1-amd64 amd64_18/2043
2024-03-22 06:26:00 1.3.2+8.18-1 trixie arm64 reproduciblereproducible 2m 34s codethink04-arm64 codethink01-arm64 arm64_6/33137
2024-03-19 08:31:00 1.3.2+8.18-1 unstable arm64 reproduciblereproducible 3m 19s codethink03-arm64 codethink02-arm64 arm64_9/9117
2024-02-17 13:15:00 1.3.2+8.18-1 trixie i386 reproduciblereproducible 3m 4s ionos16-i386 ionos2-i386 i386_4/11102
2024-02-01 13:15:00 1.3.2+8.18-1 trixie amd64 reproduciblereproducible 3m 59s ionos5-amd64 ionos11-amd64 amd64_6/13518
2024-02-01 12:09:00 1.3.2+8.18-1 trixie armhf reproduciblereproducible 7m 53s virt64c-armhf-rb virt32c-armhf-rb armhf_32/9098
2024-01-27 03:02:00 1.3.2+8.18-1 trixie arm64 reproduciblereproducible 2m 12s codethink01-arm64 codethink04-arm64 arm64_15/25167
2024-01-16 13:45:00 1.3.2+8.18-1 unstable arm64 reproduciblereproducible 2m 0s codethink04-arm64 codethink03-arm64 arm64_24/24938
2024-01-05 09:30:00 1.3.2+8.18-1 unstable i386 reproduciblereproducible 2m 28s ionos16-i386 ionos2-i386 i386_4/6428
2023-12-31 13:53:00 1.3.2+8.18-1 unstable armhf reproduciblereproducible 28m 58s jtx1b-armhf-rb cbxi4pro0-armhf-rb armhf_43/223
2023-12-29 03:15:00 1.3.2+8.18-1 unstable amd64 reproduciblereproducible 3m 26s ionos5-amd64 ionos1-amd64 amd64_2/12166
2023-12-28 17:30:00 1.3.2+8.17-1 trixie arm64 reproduciblereproducible 2m 8s codethink01-arm64 codethink02-arm64 arm64_1/11933
2023-12-23 15:42:00 1.3.2+8.18-1 unstable arm64 reproduciblereproducible 2m 12s codethink02-arm64 codethink03-arm64 arm64_19/15622
2023-12-20 06:47:00 1.3.2+8.17-1 unstable arm64 reproduciblereproducible 7m 31s codethink02-arm64 codethink01-arm64 arm64_16/8258
2023-12-08 08:22:00 1.3.2+8.17-1 trixie arm64 reproduciblereproducible 2m 2s codethink02-arm64 codethink04-arm64 arm64_8/8414
2023-12-03 07:51:00 1.3.2+8.17-1 unstable arm64 reproduciblereproducible 2m 23s codethink02-arm64 codethink04-arm64 arm64_20/7030
2023-11-18 23:26:00 1.3.2+8.17-1 trixie amd64 reproduciblereproducible 5m 35s ionos15-amd64 ionos1-amd64 amd64_4/1152
2023-11-16 19:15:00 1.3.2+8.17-1 trixie arm64 reproduciblereproducible 2m 17s codethink04-arm64 codethink02-arm64 arm64_10/2836
2023-11-13 00:13:00 1.3.2+8.17-1 unstable arm64 reproduciblereproducible 3m 11s codethink01-arm64 codethink04-arm64 arm64_3/5525
2023-11-12 09:07:00 1.3.2+8.17-1 unstable amd64 reproduciblereproducible 4m 27s ionos5-amd64 ionos11-amd64 amd64_14/3196
2023-11-08 09:00:00 1.3.2+8.17-1 unstable armhf reproduciblereproducible 13m 51s ff64a-armhf-rb virt32a-armhf-rb armhf_18/2267
2023-11-06 18:18:00 1.3.2+8.17-1 trixie armhf reproduciblereproducible 10m 6s cbxi4pro0-armhf-rb jtx1c-armhf-rb armhf_44/2181
2023-10-18 22:57:00 1.3.2+8.17-1 trixie arm64 reproduciblereproducible 5m 4s codethink15-arm64 codethink10-arm64 arm64_25/116
2023-10-04 20:13:00 1.3.2+8.17-1 trixie amd64 unreproducibleunreproducible 4m 23s ionos15-amd64 ionos1-amd64 amd64_12/3893
2023-09-29 10:40:00 1.3.2+8.17-1 unstable arm64 reproduciblereproducible 5m 34s codethink15-arm64 codethink12-arm64 arm64_26/371
2023-07-26 11:49:00 1.3.2+8.17-1 unstable amd64 reproduciblereproducible 12m 27s ionos1-amd64 ionos15-amd64 amd64_11/4115
2023-06-26 14:49:00 1.3.2+8.17-1 trixie i386 reproduciblereproducible 2m 38s ionos2-i386 ionos16-i386 i386_3/2729
2023-06-24 23:49:00 1.3.2+8.17-1 trixie amd64 reproduciblereproducible 3m 54s ionos1-amd64 ionos5-amd64 amd64_9/2258
2023-06-24 22:43:00 1.3.2+8.17-1 trixie arm64 reproduciblereproducible 5m 57s codethink16-arm64 codethink13-arm64 arm64_31/2810
2023-06-24 18:56:00 1.3.2+8.17-1 trixie armhf reproduciblereproducible 7m 11s ff4a-armhf-rb virt64c-armhf-rb armhf_33/3538
2023-06-19 23:00:00 1.3.2+8.17-1 unstable arm64 reproduciblereproducible 6m 24s codethink12-arm64 codethink11-arm64 arm64_14/2256
2023-06-19 02:31:00 1.3.2+8.17-1 unstable amd64 reproduciblereproducible 5m 0s ionos1-amd64 ionos5-amd64 amd64_9/2070
2023-06-17 11:09:00 1.3.2+8.17-1 unstable i386 FTBFSFTBFS 2m 38s ionos12-i386 ionos16-i386 i386_7/2353
2023-06-17 07:37:00 1.3.2+8.17-1 unstable armhf FTBFSFTBFS 19m 2s jtx1b-armhf-rb cbxi4pro0-armhf-rb armhf_43/7935
2023-06-11 10:18:00 1.3.2+8.16-2 unstable arm64 reproduciblereproducible 5m 8s codethink9-arm64 codethink12-arm64 arm64_2/958
2023-06-07 12:24:00 1.3.2+8.16-2 bookworm amd64 reproduciblereproducible 3m 55s ionos1-amd64 ionos5-amd64 amd64_1/580
2023-05-30 08:13:00 1.3.2+8.16-2 bookworm armhf reproduciblereproducible 13m 14s virt32a-armhf-rb ff64a-armhf-rb armhf_14/8965
2023-05-22 20:11:00 1.3.2+8.16-2 bookworm i386 reproduciblereproducible 12m 51s ionos16-i386 ionos12-i386 i386_8/9364
2023-05-09 00:37:00 1.3.2+8.16-2 unstable armhf reproduciblereproducible 11m 40s virt32a-armhf-rb jtx1a-armhf-rb armhf_9/8186
2023-04-28 06:59:00 1.3.2+8.16-2 unstable amd64 reproduciblereproducible 7m 45s ionos5-amd64 ionos1-amd64 amd64_18/22600
2023-04-19 19:22:00 1.3.2+8.16-2 bookworm arm64 reproduciblereproducible 5m 0s codethink14-arm64 codethink11-arm64 arm64_22/5580
2023-04-18 08:14:00 1.3.2+8.16-2 bookworm armhf reproduciblereproducible 13m 34s ff4a-armhf-rb virt64b-armhf-rb armhf_24/8077
2023-04-11 06:28:00 1.3.2+8.16-2 bookworm amd64 reproduciblereproducible 4m 49s ionos15-amd64 ionos1-amd64 amd64_28/5353
2023-04-08 22:50:00 1.3.2+8.16-2 unstable arm64 reproduciblereproducible 4m 9s codethink15-arm64 codethink16-arm64 arm64_28/11184
2023-04-02 19:39:00 1.3.2+8.16-2 bookworm i386 reproduciblereproducible 13m 22s ionos16-i386 ionos2-i386 i386_4/8266
2023-03-26 23:40:00 1.3.2+8.16-2 unstable amd64 reproduciblereproducible 11m 51s ionos15-amd64 ionos11-amd64 amd64_32/10329
2023-03-20 03:42:00 1.3.2+8.16-2 unstable armhf reproduciblereproducible 11m 31s virt64b-armhf-rb virt32b-armhf-rb armhf_15/3456
2023-03-14 04:21:00 1.3.2+8.16-2 bookworm arm64 reproduciblereproducible 5m 14s codethink16-arm64 codethink15-arm64 arm64_32/18954
2023-03-13 01:05:00 1.3.2+8.16-2 bookworm armhf reproduciblereproducible 12m 31s virt64c-armhf-rb ff4a-armhf-rb armhf_31/18032
2023-03-07 13:41:00 1.3.2+8.16-2 unstable arm64 reproduciblereproducible 4m 54s codethink13-arm64 codethink14-arm64 arm64_19/21575
2023-03-06 18:06:00 1.3.2+8.16-2 bookworm amd64 reproduciblereproducible 3m 0s ionos15-amd64 ionos1-amd64 amd64_20/11690
2023-02-27 10:04:00 1.3.2+8.16-2 unstable amd64 reproduciblereproducible 8m 15s ionos15-amd64 ionos11-amd64 amd64_24/17920
2023-02-01 12:01:00 1.3.2+8.16-2 bookworm i386 reproduciblereproducible 6m 46s ionos2-i386 ionos16-i386 i386_3/590
2023-01-31 01:19:00 1.3.2+8.16-2 bookworm arm64 reproduciblereproducible 15m 38s codethink12-arm64 codethink13-arm64 arm64_15/6815
2023-01-30 20:26:00 1.3.2+8.16-2 bookworm amd64 reproduciblereproducible 5m 32s ionos5-amd64 ionos11-amd64 amd64_14/9123
2023-01-30 18:47:00 1.3.2+8.16-2 bookworm armhf reproduciblereproducible 16m 58s virt32a-armhf-rb jtx1a-armhf-rb armhf_9/389
2023-01-27 22:03:00 1.3.2+8.16-2 unstable i386 reproduciblereproducible 2m 29s ionos16-i386 ionos2-i386 i386_4/2681
2023-01-25 13:50:00 1.3.2+8.16-2 unstable arm64 reproduciblereproducible 4m 3s codethink14-arm64 codethink11-arm64 arm64_22/18164
2023-01-25 13:49:00 1.3.2+8.16-2 unstable armhf reproduciblereproducible 12m 54s ff4a-armhf-rb jtx1a-armhf-rb armhf_3/61
2023-01-25 11:40:00 1.3.2+8.16-2 unstable amd64 reproduciblereproducible 11m 17s ionos15-amd64 ionos1-amd64 amd64_28/49
2023-01-21 01:26:00 1.3.2+8.16-1 bookworm arm64 reproduciblereproducible 12m 31s codethink11-arm64 codethink16-arm64 arm64_12/8047
2023-01-18 07:06:00 1.3.2+8.16-1 bookworm amd64 reproduciblereproducible 4m 19s ionos11-amd64 ionos5-amd64 amd64_5/7167
2023-01-10 02:05:00 1.3.2+8.16-1 unstable arm64 reproduciblereproducible 5m 22s codethink11-arm64 codethink12-arm64 arm64_10/17551
2022-12-28 14:20:00 1.3.2+8.16-1 bookworm armhf reproduciblereproducible 7m 24s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/5941
2022-12-28 01:53:00 1.3.2+8.16-1 unstable amd64 reproduciblereproducible 4m 42s ionos15-amd64 ionos11-amd64 amd64_8/10403
2022-12-25 23:34:00 1.3.2+8.16-1 bookworm i386 reproduciblereproducible 2m 34s ionos16-i386 ionos2-i386 i386_4/2673
2022-12-02 20:55:00 1.3.2+8.16-1 bookworm arm64 reproduciblereproducible 6m 37s codethink9-arm64 codethink16-arm64 arm64_4/14006
2022-11-26 13:26:00 1.3.2+8.16-1 bookworm amd64 reproduciblereproducible 10m 31s ionos5-amd64 ionos1-amd64 amd64_10/466
2022-11-25 03:34:00 1.3.2+8.16-1 unstable arm64 reproduciblereproducible 5m 10s codethink15-arm64 codethink16-arm64 arm64_28/12146
2022-11-17 21:24:00 1.3.2+8.16-1 unstable amd64 reproduciblereproducible 9m 45s ionos15-amd64 ionos11-amd64 amd64_24/10530
2022-11-17 19:03:00 1.3.2+8.16-1 unstable armhf reproduciblereproducible 24m 0s jtx1b-armhf-rb virt32a-armhf-rb armhf_10/1444
2022-11-04 13:19:00 1.3.2+8.16-1 bookworm armhf reproduciblereproducible 8m 1s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/1945
2022-10-28 03:17:00 1.3.2+8.16-1 bookworm arm64 reproduciblereproducible 6m 16s codethink15-arm64 codethink10-arm64 arm64_25/10857
2022-10-25 13:08:00 1.3.2+8.16-1 bookworm amd64 reproduciblereproducible 6m 0s ionos5-amd64 ionos1-amd64 amd64_18/3082
2022-10-24 04:59:00 1.3.2+8.16-1 unstable arm64 reproduciblereproducible 6m 49s codethink14-arm64 codethink13-arm64 arm64_23/10177
2022-10-19 04:30:00 1.3.2+8.16-1 unstable amd64 reproduciblereproducible 8m 41s ionos5-amd64 ionos11-amd64 amd64_6/13895
2022-09-23 16:42:00 1.3.2+8.16-1 bookworm i386 unreproducibleunreproducible 10m 15s ionos16-i386 ionos2-i386 i386_4/1015
2022-09-21 23:18:00 1.3.2+8.16-1 bookworm amd64 reproduciblereproducible 9m 40s ionos11-amd64 ionos15-amd64 amd64_7/3317
2022-09-21 20:55:00 1.3.2+8.16-1 bookworm arm64 reproduciblereproducible 5m 19s codethink12-arm64 codethink13-arm64 arm64_15/8036
2022-09-18 22:39:00 1.3.2+8.16-1 bookworm armhf reproduciblereproducible 12m 47s virt64b-armhf-rb virt32b-armhf-rb armhf_15/2665
2022-09-09 21:16:00 1.3.2+8.16-1 unstable i386 unreproducibleunreproducible 3m 6s ionos12-i386 ionos16-i386 i386_7/158
2022-09-09 20:57:00 1.3.2+8.16-1 unstable amd64 reproduciblereproducible 2m 48s ionos1-amd64 ionos15-amd64 amd64_19/1192
2022-09-08 17:54:00 1.3.2+8.16-1 unstable arm64 reproduciblereproducible 5m 31s codethink10-arm64 codethink11-arm64 arm64_6/6497
2022-09-06 19:21:00 1.3.2+8.16-1 unstable armhf unreproducibleunreproducible 11m 56s virt64b-armhf-rb cbxi4a-armhf-rb armhf_7/2598
2022-09-05 06:27:00 1.3.2+8.15-1 bookworm armhf unreproducibleunreproducible 9m 24s jtx1a-armhf-rb virt32a-armhf-rb armhf_27/3935
2022-09-04 15:54:00 1.3.2+8.15-1 unstable armhf reproduciblereproducible 6m 45s virt64b-armhf-rb virt32b-armhf-rb armhf_6/1223
2022-08-28 16:23:00 1.3.2+8.15-1 bookworm arm64 reproduciblereproducible 5m 40s codethink16-arm64 codethink13-arm64 arm64_31/5511
2022-08-24 01:27:00 1.3.2+8.15-1 bookworm amd64 reproduciblereproducible 7m 53s ionos5-amd64 ionos11-amd64 amd64_14/2049
2022-08-18 03:14:00 1.3.2+8.15-1 unstable arm64 reproduciblereproducible 6m 56s codethink9-arm64 codethink12-arm64 arm64_2/4164
2022-08-10 23:00:00 1.3.2+8.15-1 unstable amd64 reproduciblereproducible 4m 33s ionos11-amd64 ionos5-amd64 amd64_21/440
2022-07-30 00:34:00 1.3.2+8.15-1 bookworm i386 unreproducibleunreproducible 3m 46s ionos6-i386 ionos12-i386 i386_6/4300
2022-07-28 03:51:00 1.3.2+8.15-1 bookworm arm64 reproduciblereproducible 7m 24s codethink13-arm64 codethink16-arm64 arm64_20/2537
2022-07-28 01:31:00 1.3.2+8.15-1 bookworm armhf unreproducibleunreproducible 10m 47s virt32b-armhf-rb jtx1c-armhf-rb armhf_11/2764
2022-07-27 18:26:00 1.3.2+8.15-1 bookworm amd64 reproduciblereproducible 5m 51s ionos1-amd64 ionos15-amd64 amd64_19/2691
2022-07-19 22:34:00 1.3.2+8.15-1 unstable i386 unreproducibleunreproducible 3m 19s ionos16-i386 ionos2-i386 i386_12/2454
2022-07-19 11:23:00 1.3.2+8.15-1 unstable armhf reproduciblereproducible 8m 10s virt32b-armhf-rb virt64b-armhf-rb armhf_17/1486
2022-07-19 06:54:00 1.3.2+8.15-1 unstable arm64 reproduciblereproducible 6m 49s codethink11-arm64 codethink12-arm64 arm64_10/1885
2022-07-19 02:34:00 1.3.2+8.15-1 unstable amd64 reproduciblereproducible 11m 29s ionos11-amd64 ionos15-amd64 amd64_15/2144