build history of coq-menhirlib

build date version suite architecture result build duration node1 node2 job
2024-04-28 13:46:00 20231231+ds-3 unstable armhf reproduciblereproducible 15m 5s virt64c-armhf-rb cbxi4a-armhf-rb armhf_19/2435
2024-04-28 05:11:00 20231231+ds-3 unstable arm64 reproduciblereproducible 2m 52s codethink02-arm64 codethink03-arm64 arm64_19/15806
2024-04-28 03:02:00 20231231+ds-3 unstable i386 reproduciblereproducible 5m 8s ionos6-i386 ionos2-i386 i386_11/10429
2024-04-28 00:47:00 20231231+ds-3 unstable amd64 reproduciblereproducible 9m 40s ionos15-amd64 ionos11-amd64 amd64_8/19102
2024-04-27 21:45:00 20231231+ds-3 unstable armhf 404404 virt64z-armhf-rb ff4a-armhf-rb armhf_4/3886
2024-04-22 07:28:00 20231231+ds-1 trixie amd64 reproduciblereproducible 2m 12s infom02-amd64 infom01-amd64 amd64_34/7571
2024-04-21 11:14:00 20231231+ds-1 trixie armhf reproduciblereproducible 5m 21s virt32c-armhf-rb virt64z-armhf-rb armhf_25/4736
2024-04-20 21:54:00 20231231+ds-1 unstable amd64 reproduciblereproducible 2m 18s infom02-amd64 infom01-amd64 amd64_36/7761
2024-04-19 23:37:00 20231231+ds-1 trixie arm64 reproduciblereproducible 2m 53s codethink04-arm64 codethink01-arm64 arm64_18/36670
2024-04-18 17:27:00 20231231+ds-1 unstable arm64 reproduciblereproducible 3m 7s codethink02-arm64 codethink04-arm64 arm64_20/14246
2024-04-04 18:46:00 20231231+ds-1 trixie amd64 reproduciblereproducible 8m 50s ionos1-amd64 ionos15-amd64 amd64_11/15457
2024-04-02 12:18:00 20231231+ds-1 unstable amd64 reproduciblereproducible 5m 19s ionos11-amd64 ionos5-amd64 amd64_31/2072
2024-03-22 06:31:00 20231231+ds-1 trixie arm64 reproduciblereproducible 2m 2s codethink04-arm64 codethink01-arm64 arm64_6/33139
2024-03-20 14:57:00 20231231+ds-1 unstable arm64 reproduciblereproducible 3m 21s codethink02-arm64 codethink04-arm64 arm64_8/2223
2024-02-17 13:43:00 20231231+ds-1 trixie i386 reproduciblereproducible 2m 36s ionos6-i386 ionos12-i386 i386_6/15450
2024-02-13 23:49:00 20231231+ds-1 unstable i386 reproduciblereproducible 3m 32s ionos12-i386 ionos6-i386 i386_5/11431
2024-02-01 13:23:00 20231231+ds-1 trixie amd64 reproduciblereproducible 3m 47s ionos11-amd64 ionos5-amd64 amd64_5/13727
2024-02-01 11:48:00 20231231+ds-1 trixie armhf reproduciblereproducible 9m 52s virt32a-armhf-rb virt64a-armhf-rb armhf_29/350
2024-01-30 08:50:00 20231231+ds-1 unstable amd64 reproduciblereproducible 3m 17s ionos1-amd64 ionos5-amd64 amd64_17/13034
2024-01-28 05:28:00 20231231+ds-1 unstable armhf reproduciblereproducible 19m 29s cbxi4b-armhf-rb virt64c-armhf-rb armhf_2/212
2024-01-27 03:42:00 20231231+ds-1 trixie arm64 reproduciblereproducible 2m 11s codethink03-arm64 codethink02-arm64 arm64_9/1018
2024-01-26 15:05:00 20231231+ds-1 unstable arm64 reproduciblereproducible 3m 47s codethink03-arm64 codethink01-arm64 arm64_17/24981
2024-01-17 01:43:00 20230608+ds-2 unstable arm64 reproduciblereproducible 1m 39s codethink02-arm64 codethink03-arm64 arm64_19/372
2024-01-05 10:00:00 20230608+ds-2 unstable i386 reproduciblereproducible 4m 7s ionos12-i386 ionos6-i386 i386_5/6731
2024-01-02 10:20:00 20230608+ds-1 trixie arm64 reproduciblereproducible 2m 7s codethink02-arm64 codethink03-arm64 arm64_19/17705
2023-12-31 14:30:00 20230608+ds-2 unstable armhf reproduciblereproducible 10m 38s virt32c-armhf-rb jtx1c-armhf-rb armhf_25/384
2023-12-30 01:49:00 20230608+ds-1 trixie arm64 depwaitdepwait 53s codethink02-arm64 codethink04-arm64 arm64_8/18398
2023-12-29 04:52:00 20230608+ds-2 unstable amd64 reproduciblereproducible 9m 1s ionos11-amd64 ionos15-amd64 amd64_7/8972
2023-12-23 15:46:00 20230608+ds-2 unstable arm64 reproduciblereproducible 1m 51s codethink03-arm64 codethink02-arm64 arm64_9/16367
2023-12-10 01:39:00 20230608+ds-1 trixie arm64 reproduciblereproducible 2m 0s codethink04-arm64 codethink02-arm64 arm64_10/9297
2023-12-05 18:35:00 20230608+ds-1 unstable arm64 reproduciblereproducible 2m 32s codethink01-arm64 codethink03-arm64 arm64_14/10982
2023-11-18 07:46:00 20230608+ds-1 trixie arm64 reproduciblereproducible 2m 14s codethink03-arm64 codethink01-arm64 arm64_5/6836
2023-11-15 14:07:00 20230608+ds-1 unstable arm64 reproduciblereproducible 2m 53s codethink03-arm64 codethink01-arm64 arm64_5/6175
2023-11-14 15:06:00 20230608+ds-1 unstable armhf reproduciblereproducible 10m 55s ff4a-armhf-rb virt64b-armhf-rb armhf_24/2676
2023-11-13 00:05:00 20230608+ds-1 unstable amd64 reproduciblereproducible 7m 51s ionos1-amd64 ionos15-amd64 amd64_3/636
2023-11-09 02:56:00 20230608+ds-1 trixie armhf reproduciblereproducible 12m 34s virt64c-armhf-rb virt32c-armhf-rb armhf_32/1054
2023-10-29 01:29:00 20230608+ds-1 trixie arm64 reproduciblereproducible 2m 13s codethink01-arm64 codethink04-arm64 arm64_15/2604
2023-10-18 12:02:00 20230608+ds-1 unstable arm64 reproduciblereproducible 6m 1s codethink16-arm64 codethink11-arm64 arm64_30/90
2023-10-17 18:53:00 20230608+ds-1 trixie amd64 reproduciblereproducible 12m 29s ionos15-amd64 ionos11-amd64 amd64_16/18
2023-07-26 16:04:00 20230608+ds-1 unstable amd64 reproduciblereproducible 3m 20s ionos1-amd64 ionos5-amd64 amd64_25/4631
2023-06-30 14:53:00 20230608+ds-1 trixie i386 reproduciblereproducible 2m 35s ionos16-i386 ionos12-i386 i386_8/210
2023-06-29 03:27:00 20230608+ds-1 unstable i386 reproduciblereproducible 3m 1s ionos16-i386 ionos12-i386 i386_8/138
2023-06-28 09:52:00 20230608+ds-1 trixie arm64 reproduciblereproducible 5m 10s codethink9-arm64 codethink12-arm64 arm64_2/3099
2023-06-28 09:21:00 20230608+ds-1 trixie armhf reproduciblereproducible 11m 26s cbxi4a-armhf-rb jtx1b-armhf-rb armhf_20/7537
2023-06-28 08:47:00 20230608+ds-1 trixie amd64 reproduciblereproducible 10m 39s ionos1-amd64 ionos15-amd64 amd64_19/2303
2023-06-26 18:26:00 20230608+ds-1 unstable armhf reproduciblereproducible 11m 47s jtx1a-armhf-rb virt32a-armhf-rb armhf_27/11363
2023-06-26 16:36:00 20220210+ds-5 trixie i386 reproduciblereproducible 12m 23s ionos16-i386 ionos2-i386 i386_4/3234
2023-06-26 13:23:00 20230608+ds-1 unstable arm64 reproduciblereproducible 5m 56s codethink10-arm64 codethink15-arm64 arm64_8/2534
2023-06-26 12:12:00 20230608+ds-1 unstable amd64 reproduciblereproducible 9m 37s ionos15-amd64 ionos11-amd64 amd64_24/1969
2023-06-24 23:52:00 20220210+ds-5 trixie amd64 reproduciblereproducible 3m 0s ionos15-amd64 ionos1-amd64 amd64_4/2025
2023-06-24 23:19:00 20220210+ds-5 trixie arm64 reproduciblereproducible 5m 55s codethink16-arm64 codethink13-arm64 arm64_31/2814
2023-06-24 17:39:00 20220210+ds-5 trixie armhf reproduciblereproducible 5m 42s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/5697
2023-06-20 04:29:00 20220210+ds-5 unstable arm64 reproduciblereproducible 5m 1s codethink13-arm64 codethink16-arm64 arm64_20/2400
2023-06-19 05:38:00 20220210+ds-5 unstable amd64 reproduciblereproducible 5m 55s ionos5-amd64 ionos1-amd64 amd64_10/1614
2023-06-17 11:00:00 20220210+ds-5 unstable i386 FTBFSFTBFS 2m 37s ionos6-i386 ionos12-i386 i386_6/2713
2023-06-17 07:58:00 20220210+ds-5 unstable armhf FTBFSFTBFS 10m 50s virt32b-armhf-rb jtx1c-armhf-rb armhf_11/2727
2023-06-07 12:40:00 20220210+ds-4 bookworm amd64 reproduciblereproducible 5m 47s ionos1-amd64 ionos5-amd64 amd64_25/449
2023-05-30 10:01:00 20220210+ds-4 bookworm armhf reproduciblereproducible 20m 40s jtx1a-armhf-rb virt32a-armhf-rb armhf_27/9459
2023-05-22 20:39:00 20220210+ds-4 bookworm i386 reproduciblereproducible 4m 23s ionos2-i386 ionos16-i386 i386_3/12504
2023-05-09 03:00:00 20220210+ds-4 unstable armhf reproduciblereproducible 9m 9s virt64b-armhf-rb virt32b-armhf-rb armhf_6/1568
2023-05-02 17:10:00 20220210+ds-4 unstable amd64 reproduciblereproducible 6m 22s ionos15-amd64 ionos11-amd64 amd64_16/27945
2023-04-19 19:48:00 20220210+ds-4 bookworm arm64 reproduciblereproducible 5m 43s codethink10-arm64 codethink15-arm64 arm64_8/27589
2023-04-18 09:14:00 20220210+ds-4 bookworm armhf reproduciblereproducible 9m 5s ff4a-armhf-rb virt64b-armhf-rb armhf_24/8080
2023-04-11 06:41:00 20220210+ds-4 bookworm amd64 reproduciblereproducible 4m 16s ionos1-amd64 ionos5-amd64 amd64_25/9339
2023-04-10 23:32:00 20220210+ds-4 unstable arm64 reproduciblereproducible 5m 22s codethink16-arm64 codethink9-arm64 arm64_29/18947
2023-04-02 19:15:00 20220210+ds-4 bookworm i386 reproduciblereproducible 12m 14s ionos16-i386 ionos2-i386 i386_4/8264
2023-03-28 16:45:00 20220210+ds-4 unstable amd64 reproduciblereproducible 33m 44s ionos11-amd64 ionos5-amd64 amd64_29/5430
2023-03-20 06:39:00 20220210+ds-4 unstable armhf reproduciblereproducible 22m 35s cbxi4b-armhf-rb virt64c-armhf-rb armhf_22/1732
2023-03-14 04:20:00 20220210+ds-4 bookworm arm64 reproduciblereproducible 5m 25s codethink15-arm64 codethink16-arm64 arm64_28/5921
2023-03-13 02:34:00 20220210+ds-4 bookworm armhf reproduciblereproducible 10m 33s virt64c-armhf-rb wbq0-armhf-rb armhf_39/5718
2023-03-08 10:07:00 20220210+ds-4 unstable arm64 reproduciblereproducible 4m 57s codethink16-arm64 codethink15-arm64 arm64_32/18427
2023-03-06 18:19:00 20220210+ds-4 bookworm amd64 reproduciblereproducible 3m 1s ionos15-amd64 ionos11-amd64 amd64_8/15779
2023-02-28 12:29:00 20220210+ds-4 unstable amd64 reproduciblereproducible 10m 52s ionos1-amd64 ionos15-amd64 amd64_11/7265
2023-02-01 11:52:00 20220210+ds-4 bookworm i386 reproduciblereproducible 3m 10s ionos2-i386 ionos16-i386 i386_3/588
2023-01-31 01:16:00 20220210+ds-4 bookworm arm64 reproduciblereproducible 18m 22s codethink13-arm64 codethink14-arm64 arm64_19/18950
2023-01-30 20:44:00 20220210+ds-4 bookworm amd64 reproduciblereproducible 12m 47s ionos5-amd64 ionos1-amd64 amd64_10/6632
2023-01-30 19:26:00 20220210+ds-4 bookworm armhf reproduciblereproducible 27m 35s ff4a-armhf-rb virt64c-armhf-rb armhf_33/543
2023-01-27 22:41:00 20220210+ds-4 unstable i386 reproduciblereproducible 5m 8s ionos16-i386 ionos2-i386 i386_12/402
2023-01-25 14:04:00 20220210+ds-4 unstable armhf reproduciblereproducible 16m 49s virt64b-armhf-rb virt32b-armhf-rb armhf_6/1486
2023-01-25 13:53:00 20220210+ds-4 unstable arm64 reproduciblereproducible 4m 16s codethink15-arm64 codethink14-arm64 arm64_27/18835
2023-01-25 11:46:00 20220210+ds-4 unstable amd64 reproduciblereproducible 10m 36s ionos1-amd64 ionos5-amd64 amd64_9/2745
2023-01-21 02:06:00 20220210+ds-3 bookworm arm64 reproduciblereproducible 13m 27s codethink14-arm64 codethink9-arm64 arm64_21/12932
2023-01-18 07:47:00 20220210+ds-3 bookworm amd64 reproduciblereproducible 3m 28s ionos11-amd64 ionos15-amd64 amd64_7/3395
2023-01-14 13:48:00 20220210+ds-3 unstable arm64 reproduciblereproducible 5m 24s codethink16-arm64 codethink13-arm64 arm64_31/1686
2023-01-01 23:10:00 20220210+ds-3 unstable amd64 reproduciblereproducible 9m 57s ionos11-amd64 ionos5-amd64 amd64_29/6892
2022-12-28 22:37:00 20220210+ds-3 bookworm armhf reproduciblereproducible 6m 19s jtx1b-armhf-rb virt32c-armhf-rb armhf_36/847
2022-12-25 23:41:00 20220210+ds-3 bookworm i386 reproduciblereproducible 2m 48s ionos2-i386 ionos16-i386 i386_11/4560
2022-12-02 21:09:00 20220210+ds-3 bookworm arm64 reproduciblereproducible 7m 50s codethink12-arm64 codethink11-arm64 arm64_14/14005
2022-11-28 13:50:00 20220210+ds-3 unstable arm64 reproduciblereproducible 6m 17s codethink15-arm64 codethink16-arm64 arm64_28/12571
2022-11-26 14:17:00 20220210+ds-3 bookworm amd64 reproduciblereproducible 24m 26s ionos5-amd64 ionos1-amd64 amd64_10/470
2022-11-23 13:04:00 20220210+ds-3 unstable armhf reproduciblereproducible 14m 55s ff4a-armhf-rb virt64c-armhf-rb armhf_33/5522
2022-11-20 04:33:00 20220210+ds-3 unstable amd64 reproduciblereproducible 4m 16s ionos11-amd64 ionos5-amd64 amd64_5/2787
2022-11-04 19:36:00 20220210+ds-3 bookworm armhf reproduciblereproducible 17m 40s cbxi4b-armhf-rb virt64c-armhf-rb armhf_2/528
2022-10-28 03:47:00 20220210+ds-3 bookworm arm64 reproduciblereproducible 5m 34s codethink9-arm64 codethink16-arm64 arm64_4/11237
2022-10-26 17:17:00 20220210+ds-3 unstable arm64 reproduciblereproducible 5m 26s codethink14-arm64 codethink15-arm64 arm64_24/10597
2022-10-25 13:43:00 20220210+ds-3 bookworm amd64 reproduciblereproducible 7m 33s ionos11-amd64 ionos15-amd64 amd64_23/568
2022-10-22 06:37:00 20220210+ds-3 unstable amd64 reproduciblereproducible 3m 26s ionos15-amd64 ionos1-amd64 amd64_20/448
2022-09-23 17:24:00 20220210+ds-3 bookworm i386 unreproducibleunreproducible 7m 8s ionos16-i386 ionos12-i386 i386_8/1516
2022-09-21 23:27:00 20220210+ds-3 bookworm amd64 reproduciblereproducible 21m 33s ionos5-amd64 ionos11-amd64 amd64_30/4161
2022-09-21 21:09:00 20220210+ds-3 bookworm arm64 reproduciblereproducible 5m 17s codethink12-arm64 codethink13-arm64 arm64_15/8039
2022-09-20 04:49:00 20220210+ds-3 unstable amd64 reproduciblereproducible 6m 24s ionos5-amd64 ionos11-amd64 amd64_14/5775
2022-09-19 06:34:00 20220210+ds-3 unstable i386 unreproducibleunreproducible 4m 56s ionos2-i386 ionos6-i386 i386_1/2464
2022-09-18 23:27:00 20220210+ds-3 bookworm armhf unreproducibleunreproducible 37m 33s virt32a-armhf-rb virt64a-armhf-rb armhf_29/5682
2022-09-18 23:14:00 20220210+ds-3 unstable arm64 reproduciblereproducible 12m 3s codethink16-arm64 codethink13-arm64 arm64_31/7925
2022-09-13 18:36:00 20220210+ds-3 unstable armhf unreproducibleunreproducible 7m 54s virt64c-armhf-rb ff4a-armhf-rb armhf_31/6045
2022-09-08 19:05:00 20220210+ds-2 bookworm i386 unreproducibleunreproducible 3m 8s ionos6-i386 ionos2-i386 i386_2/1330
2022-09-01 21:02:00 20220210+ds-2 unstable armhf unreproducibleunreproducible 16m 19s jtx1a-armhf-rb virt32a-armhf-rb armhf_27/3633
2022-08-28 00:16:00 20220210+ds-2 bookworm armhf unreproducibleunreproducible 9m 41s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/5435
2022-08-20 07:49:00 20220210+ds-2 bookworm arm64 reproduciblereproducible 5m 15s codethink13-arm64 codethink10-arm64 arm64_17/4600
2022-08-14 23:25:00 20220210+ds-2 unstable arm64 reproduciblereproducible 7m 37s codethink16-arm64 codethink15-arm64 arm64_32/1542
2022-08-12 15:31:00 20220210+ds-2 bookworm amd64 reproduciblereproducible 6m 4s ionos15-amd64 ionos11-amd64 amd64_24/5477
2022-08-08 20:06:00 20220210+ds-2 unstable amd64 reproduciblereproducible 4m 38s ionos1-amd64 ionos5-amd64 amd64_17/4424
2022-07-19 10:41:00 20220210+ds-2 bookworm i386 unreproducibleunreproducible 9m 11s ionos12-i386 ionos6-i386 i386_5/3146
2022-07-18 19:33:00 20220210+ds-2 bookworm armhf unreproducibleunreproducible 14m 23s ff4a-armhf-rb jtx1a-armhf-rb armhf_3/511
2022-07-18 11:03:00 20220210+ds-2 bookworm arm64 reproduciblereproducible 8m 53s codethink10-arm64 codethink9-arm64 arm64_5/2164
2022-07-18 08:05:00 20220210+ds-2 bookworm amd64 reproduciblereproducible 5m 15s ionos5-amd64 ionos11-amd64 amd64_6/2426
2022-07-16 21:26:00 20220210+ds-2 unstable armhf unreproducibleunreproducible 11m 43s virt32b-armhf-rb virt64b-armhf-rb armhf_17/1333
2022-07-16 09:38:00 20220210+ds-2 unstable i386 unreproducibleunreproducible 13m 28s ionos6-i386 ionos2-i386 i386_10/1816
2022-07-16 02:31:00 20220210+ds-2 unstable arm64 reproduciblereproducible 10m 5s codethink10-arm64 codethink9-arm64 arm64_5/1976
2022-07-16 01:07:00 20220210+ds-2 unstable amd64 reproduciblereproducible 9m 51s ionos11-amd64 ionos15-amd64 amd64_31/1725
2022-07-10 17:09:00 20220210+ds-1 unstable i386 unreproducibleunreproducible 15m 21s ionos2-i386 ionos16-i386 i386_3/1082
2022-07-09 08:35:00 20220210+ds-1 unstable armhf unreproducibleunreproducible 37m 19s virt64a-armhf-rb cbxi4b-armhf-rb armhf_12/456
2022-07-09 08:16:00 20220210+ds-1 unstable arm64 reproduciblereproducible 5m 28s codethink16-arm64 codethink13-arm64 arm64_31/1114
2022-07-09 06:00:00 20220210+ds-1 unstable amd64 reproduciblereproducible 4m 16s ionos15-amd64 ionos11-amd64 amd64_24/1520