build history of coq-interval

build date version suite architecture result build duration node1 node2 job
2024-05-02 18:20:00 4.10.0-1 unstable armhf depwaitdepwait 1m 13s virt64c-armhf-rb virt32c-armhf-rb armhf_32/15412
2024-05-01 20:17:00 4.10.0-1 unstable arm64 reproduciblereproducible 11m 14s codethink02-arm64 codethink01-arm64 arm64_16/8854
2024-05-01 12:59:00 4.10.0-1 unstable amd64 reproduciblereproducible 19m 19s ionos15-amd64 ionos1-amd64 amd64_4/19198
2024-04-30 13:52:00 4.10.0-1 unstable armhf depwaitdepwait 53s virt32z-armhf-rb ff64a-armhf-rb armhf_14/3751
2024-04-29 06:03:00 4.10.0-1 unstable arm64 depwaitdepwait 47s codethink04-arm64 codethink01-arm64 arm64_6/38620
2024-04-29 05:35:00 4.10.0-1 unstable amd64 depwaitdepwait 39s infom02-amd64 infom01-amd64 amd64_36/9112
2024-04-27 13:29:00 4.10.0-1 unstable armhf depwaitdepwait 1m 10s virt32z-armhf-rb virt64a-armhf-rb armhf_34/5303
2024-04-27 05:40:00 4.10.0-1 unstable i386 depwaitdepwait 51s ionos16-i386 ionos12-i386 i386_10/9939
2024-04-27 00:32:00 4.10.0-1 unstable amd64 depwaitdepwait 1m 9s ionos11-amd64 ionos5-amd64 amd64_13/5261
2024-04-27 00:07:00 4.10.0-1 unstable arm64 depwaitdepwait 34s codethink01-arm64 codethink02-arm64 arm64_1/17023
2024-04-26 21:41:00 4.10.0-1 unstable armhf 404404 virt32z-armhf-rb ff64a-armhf-rb armhf_14/3205
2024-04-22 02:32:00 4.9.0-1 trixie amd64 reproduciblereproducible 7m 43s infom01-amd64 infom02-amd64 amd64_33/8399
2024-04-21 22:29:00 4.9.0-1 unstable arm64 reproduciblereproducible 11m 32s codethink04-arm64 codethink01-arm64 arm64_18/37117
2024-04-21 21:05:00 4.9.0-1 trixie armhf reproduciblereproducible 1h 24m 24s virt64a-armhf-rb cbxi4b-armhf-rb armhf_5/4123
2024-04-19 22:04:00 4.9.0-1 trixie arm64 reproduciblereproducible 9m 30s codethink02-arm64 codethink04-arm64 arm64_20/14359
2024-04-19 21:03:00 4.9.0-1 unstable amd64 reproduciblereproducible 16m 58s ionos5-amd64 ionos11-amd64 amd64_6/4880
2024-04-04 15:47:00 4.9.0-1 trixie amd64 reproduciblereproducible 33m 12s ionos15-amd64 ionos11-amd64 amd64_28/15556
2024-04-01 02:40:00 4.9.0-1 unstable amd64 reproduciblereproducible 7m 44s infom01-amd64 infom02-amd64 amd64_35/3679
2024-03-25 14:01:00 4.9.0-1 unstable arm64 reproduciblereproducible 10m 36s codethink01-arm64 codethink02-arm64 arm64_13/10284
2024-03-22 02:33:00 4.9.0-1 trixie arm64 reproduciblereproducible 8m 53s codethink04-arm64 codethink01-arm64 arm64_6/33124
2024-02-17 15:03:00 4.9.0-1 trixie i386 reproduciblereproducible 14m 44s ionos12-i386 ionos6-i386 i386_5/11543
2024-02-15 00:55:00 4.9.0-1 unstable arm64 reproduciblereproducible 8m 44s codethink03-arm64 codethink02-arm64 arm64_9/5228
2024-02-01 14:03:00 4.9.0-1 trixie armhf reproduciblereproducible 2h 17m 35s virt64a-armhf-rb cbxi4b-armhf-rb armhf_12/278
2024-02-01 13:16:00 4.9.0-1 trixie amd64 reproduciblereproducible 18m 6s ionos11-amd64 ionos5-amd64 amd64_21/12786
2024-01-27 03:27:00 4.9.0-1 trixie arm64 reproduciblereproducible 16m 39s codethink02-arm64 codethink04-arm64 arm64_8/1055
2024-01-25 16:17:00 4.9.0-1 unstable i386 reproduciblereproducible 14m 25s ionos16-i386 ionos12-i386 i386_8/14719
2024-01-22 10:32:00 4.8.0-1 trixie armhf reproduciblereproducible 40m 13s virt64a-armhf-rb ff4a-armhf-rb armhf_8/58
2024-01-15 15:25:00 4.8.0-1 trixie arm64 reproduciblereproducible 8m 53s codethink03-arm64 codethink04-arm64 arm64_11/25145
2024-01-06 05:47:00 4.9.0-1 unstable armhf reproduciblereproducible 1h 4m 13s ff4a-armhf-rb virt64b-armhf-rb armhf_24/10071
2024-01-01 00:56:00 4.9.0-1 unstable armhf depwaitdepwait 2m 47s cbxi4pro0-armhf-rb jtx1c-armhf-rb armhf_44/256
2023-12-31 07:41:00 4.9.0-1 unstable amd64 reproduciblereproducible 26m 45s ionos5-amd64 ionos1-amd64 amd64_18/12433
2023-12-28 18:37:00 4.9.0-1 unstable arm64 reproduciblereproducible 14m 59s codethink04-arm64 codethink02-arm64 arm64_10/17425
2023-12-26 16:01:00 4.9.0-1 unstable arm64 404404 codethink03-arm64 codethink04-arm64 arm64_23/20463
2023-12-21 00:32:00 4.8.0-1 trixie arm64 reproduciblereproducible 8m 53s codethink03-arm64 codethink01-arm64 arm64_17/19628
2023-12-20 09:33:00 4.8.0-1 trixie amd64 reproduciblereproducible 30m 29s ionos5-amd64 ionos11-amd64 amd64_14/11355
2023-12-17 10:49:00 4.8.0-1 unstable arm64 reproduciblereproducible 9m 46s codethink02-arm64 codethink04-arm64 arm64_20/15245
2023-12-03 10:38:00 4.8.0-1 trixie arm64 reproduciblereproducible 11m 51s codethink03-arm64 codethink01-arm64 arm64_5/11077
2023-12-02 13:41:00 4.8.0-1 unstable amd64 reproduciblereproducible 40m 34s ionos5-amd64 ionos1-amd64 amd64_10/5946
2023-11-29 01:45:00 4.8.0-1 unstable arm64 FTBFSFTBFS 50s codethink03-arm64 codethink02-arm64 arm64_9/5903
2023-11-12 12:51:00 4.8.0-1 trixie arm64 reproduciblereproducible 13m 52s codethink02-arm64 codethink03-arm64 arm64_7/1736
2023-11-09 17:40:00 4.8.0-1 unstable arm64 reproduciblereproducible 9m 36s codethink04-arm64 codethink02-arm64 arm64_22/970
2023-08-28 12:39:00 4.8.0-1 trixie i386 reproduciblereproducible 10m 43s ionos12-i386 ionos16-i386 i386_7/148
2023-08-27 10:08:00 4.8.0-1 trixie amd64 reproduciblereproducible 55m 59s ionos1-amd64 ionos5-amd64 amd64_9/77
2023-08-27 00:14:00 4.8.0-1 trixie arm64 reproduciblereproducible 35m 44s codethink13-arm64 codethink12-arm64 arm64_18/91
2023-08-23 05:24:00 4.8.0-1 trixie armhf reproduciblereproducible 47m 20s virt64c-armhf-rb virt32c-armhf-rb armhf_32/45
2023-08-08 13:23:00 4.8.0-1 unstable i386 reproduciblereproducible 26m 49s ionos12-i386 ionos6-i386 i386_5/1400
2023-08-08 11:10:00 4.8.0-1 unstable amd64 reproduciblereproducible 1h 29m 31s ionos5-amd64 ionos11-amd64 amd64_14/4640
2023-08-07 01:54:00 4.8.0-1 unstable arm64 reproduciblereproducible 38m 27s codethink14-arm64 codethink9-arm64 arm64_21/5256
2023-08-05 18:39:00 4.8.0-1 unstable armhf reproduciblereproducible 43m 11s ff4a-armhf-rb virt64b-armhf-rb armhf_24/4296
2023-07-26 15:41:00 4.7.0-1 unstable amd64 reproduciblereproducible 17m 39s ionos1-amd64 ionos5-amd64 amd64_25/4628
2023-06-26 14:34:00 4.7.0-1 trixie i386 reproduciblereproducible 11m 23s ionos16-i386 ionos2-i386 i386_4/3227
2023-06-24 20:49:00 4.7.0-1 trixie amd64 reproduciblereproducible 23m 10s ionos11-amd64 ionos15-amd64 amd64_31/1828
2023-06-24 19:58:00 4.7.0-1 trixie arm64 reproduciblereproducible 31m 44s codethink12-arm64 codethink15-arm64 arm64_16/2393
2023-06-24 19:06:00 4.7.0-1 trixie armhf reproduciblereproducible 38m 55s virt32a-armhf-rb jtx1a-armhf-rb armhf_9/11034
2023-06-21 01:58:00 4.7.0-1 unstable arm64 reproduciblereproducible 31m 47s codethink15-arm64 codethink12-arm64 arm64_26/2565
2023-06-19 23:31:00 4.7.0-1 unstable amd64 reproduciblereproducible 29m 21s ionos1-amd64 ionos15-amd64 amd64_11/1815
2023-06-18 06:33:00 4.7.0-1 unstable armhf FTBFSFTBFS 21m 10s virt64a-armhf-rb ff4a-armhf-rb armhf_8/10776
2023-06-17 23:41:00 4.7.0-1 unstable i386 FTBFSFTBFS 16m 53s ionos2-i386 ionos6-i386 i386_1/1248
2023-06-05 05:27:00 4.6.1-2 bookworm amd64 reproduciblereproducible 18m 23s ionos5-amd64 ionos11-amd64 amd64_30/240
2023-05-30 08:25:00 4.6.1-2 bookworm armhf reproduciblereproducible 44m 16s ff64a-armhf-rb virt32c-armhf-rb armhf_30/2205
2023-05-20 13:18:00 4.6.1-2 bookworm i386 reproduciblereproducible 11m 45s ionos12-i386 ionos16-i386 i386_7/9995
2023-05-11 23:54:00 4.6.1-2 unstable armhf reproduciblereproducible 40m 49s virt32c-armhf-rb virt64a-armhf-rb armhf_34/1368
2023-05-01 13:53:00 4.6.1-2 unstable amd64 reproduciblereproducible 20m 44s ionos1-amd64 ionos5-amd64 amd64_25/11229
2023-04-18 08:55:00 4.6.1-2 bookworm armhf reproduciblereproducible 2h 10m 43s virt64a-armhf-rb cbxi4b-armhf-rb armhf_5/6888
2023-04-17 20:00:00 4.6.1-2 bookworm arm64 reproduciblereproducible 37m 12s codethink16-arm64 codethink9-arm64 arm64_29/19615
2023-04-11 23:07:00 4.6.1-2 unstable arm64 reproduciblereproducible 29m 2s codethink10-arm64 codethink13-arm64 arm64_7/5645
2023-04-10 17:17:00 4.6.1-2 bookworm amd64 reproduciblereproducible 20m 27s ionos1-amd64 ionos5-amd64 amd64_25/9290
2023-04-02 01:07:00 4.6.1-2 bookworm i386 FTBFSFTBFS 54s ionos2-i386 ionos16-i386 i386_3/5536
2023-03-28 23:50:00 4.6.1-2 unstable amd64 reproduciblereproducible 21m 16s ionos5-amd64 ionos11-amd64 amd64_14/13575
2023-03-21 05:19:00 4.6.1-2 unstable armhf reproduciblereproducible 33m 21s virt64b-armhf-rb virt32b-armhf-rb armhf_15/3561
2023-03-13 18:33:00 4.6.1-2 bookworm arm64 reproduciblereproducible 29m 44s codethink13-arm64 codethink12-arm64 arm64_18/5969
2023-03-13 01:07:00 4.6.1-2 bookworm armhf reproduciblereproducible 37m 59s virt32c-armhf-rb jtx1c-armhf-rb armhf_25/4071
2023-03-10 10:08:00 4.6.1-2 unstable arm64 reproduciblereproducible 28m 22s codethink15-arm64 codethink16-arm64 arm64_28/5661
2023-03-06 11:13:00 4.6.1-2 bookworm amd64 reproduciblereproducible 1h 4m 40s ionos15-amd64 ionos1-amd64 amd64_4/11536
2023-03-01 11:50:00 4.6.1-2 unstable amd64 reproduciblereproducible 22m 36s ionos11-amd64 ionos5-amd64 amd64_13/9951
2023-02-01 09:02:00 4.6.1-2 bookworm i386 reproduciblereproducible 9m 49s ionos16-i386 ionos2-i386 i386_4/2945
2023-01-31 00:01:00 4.6.1-2 bookworm arm64 reproduciblereproducible 32m 0s codethink13-arm64 codethink12-arm64 arm64_18/2708
2023-01-30 19:12:00 4.6.1-2 bookworm armhf reproduciblereproducible 1h 20m 27s virt32a-armhf-rb ff64a-armhf-rb armhf_14/1642
2023-01-30 18:47:00 4.6.1-2 bookworm amd64 reproduciblereproducible 53m 48s ionos15-amd64 ionos1-amd64 amd64_28/511
2023-01-30 08:32:00 4.6.1-1 bookworm amd64 reproduciblereproducible 48m 33s ionos5-amd64 ionos11-amd64 amd64_30/4066
2023-01-29 15:17:00 4.6.1-2 unstable i386 reproduciblereproducible 14m 40s ionos2-i386 ionos6-i386 i386_1/1505
2023-01-28 05:00:00 4.6.1-1 bookworm arm64 reproduciblereproducible 25m 41s codethink10-arm64 codethink13-arm64 arm64_7/7358
2023-01-27 19:24:00 4.6.1-2 unstable amd64 reproduciblereproducible 49m 0s ionos15-amd64 ionos11-amd64 amd64_24/15735
2023-01-27 16:46:00 4.6.1-2 unstable arm64 reproduciblereproducible 29m 51s codethink15-arm64 codethink14-arm64 arm64_27/19024
2023-01-27 14:40:00 4.6.1-2 unstable armhf reproduciblereproducible 1h 27m 18s cbxi4b-armhf-rb virt64c-armhf-rb armhf_2/76
2023-01-24 19:12:00 4.6.1-1 unstable amd64 reproduciblereproducible 22m 48s ionos11-amd64 ionos5-amd64 amd64_29/9
2023-01-24 06:07:00 4.6.1-1 unstable arm64 depwaitdepwait 44s codethink16-arm64 codethink15-arm64 arm64_32/15182
2022-12-15 22:49:00 4.6.1-1 bookworm i386 reproduciblereproducible 11m 47s ionos6-i386 ionos2-i386 i386_10/1211
2022-12-15 10:03:00 4.6.1-1 bookworm armhf reproduciblereproducible 29m 14s jtx1c-armhf-rb virt32c-armhf-rb armhf_35/4837
2022-12-15 08:26:00 4.6.1-1 bookworm arm64 reproduciblereproducible 30m 35s codethink14-arm64 codethink9-arm64 arm64_21/10400
2022-12-15 07:04:00 4.6.1-1 bookworm amd64 reproduciblereproducible 19m 4s ionos1-amd64 ionos5-amd64 amd64_9/486
2022-12-14 23:32:00 4.6.1-1 unstable i386 reproduciblereproducible 11m 48s ionos12-i386 ionos16-i386 i386_7/2554
2022-12-13 20:26:00 4.6.1-1 unstable amd64 reproduciblereproducible 23m 23s ionos1-amd64 ionos5-amd64 amd64_17/109
2022-12-13 18:56:00 4.6.1-1 unstable armhf reproduciblereproducible 28m 34s jtx1b-armhf-rb virt32c-armhf-rb armhf_36/959
2022-12-13 18:11:00 4.6.1-1 unstable arm64 reproduciblereproducible 32m 23s codethink10-arm64 codethink11-arm64 arm64_6/14924
2022-12-04 09:44:00 4.6.0-1 bookworm arm64 reproduciblereproducible 28m 38s codethink10-arm64 codethink9-arm64 arm64_5/15520
2022-11-30 04:17:00 4.6.0-1 bookworm amd64 reproduciblereproducible 31m 49s ionos1-amd64 ionos15-amd64 amd64_11/9544
2022-11-29 14:04:00 4.6.0-1 unstable arm64 reproduciblereproducible 30m 58s codethink9-arm64 codethink12-arm64 arm64_2/753
2022-11-25 16:06:00 4.6.0-1 unstable amd64 reproduciblereproducible 18m 58s ionos5-amd64 ionos1-amd64 amd64_2/665
2022-11-03 03:03:00 4.6.0-1 bookworm i386 reproduciblereproducible 9m 52s ionos6-i386 ionos12-i386 i386_6/173
2022-11-01 14:14:00 4.6.0-1 unstable i386 reproduciblereproducible 14m 59s ionos2-i386 ionos6-i386 i386_9/162
2022-10-30 07:40:00 4.6.0-1 bookworm armhf reproduciblereproducible 57m 50s jtx1b-armhf-rb wbq0-armhf-rb armhf_40/432
2022-10-30 06:07:00 4.6.0-1 bookworm arm64 reproduciblereproducible 33m 19s codethink13-arm64 codethink10-arm64 arm64_17/11085
2022-10-30 06:01:00 4.6.0-1 bookworm amd64 reproduciblereproducible 32m 24s ionos15-amd64 ionos11-amd64 amd64_24/8343
2022-10-28 12:22:00 4.6.0-1 unstable arm64 reproduciblereproducible 34m 2s codethink13-arm64 codethink14-arm64 arm64_19/11315
2022-10-28 02:28:00 4.6.0-1 unstable armhf reproduciblereproducible 43m 40s virt64b-armhf-rb virt32b-armhf-rb armhf_15/666
2022-10-27 23:11:00 4.6.0-1 unstable amd64 reproduciblereproducible 22m 17s ionos15-amd64 ionos1-amd64 amd64_4/408
2022-10-23 01:12:00 4.5.2-2 bookworm armhf unreproducibleunreproducible 32m 12s virt32c-armhf-rb jtx1c-armhf-rb armhf_25/95
2022-10-16 08:24:00 4.5.2-2 bookworm amd64 reproduciblereproducible 13m 17s ionos5-amd64 ionos11-amd64 amd64_6/13501
2022-10-16 05:15:00 4.5.2-2 bookworm arm64 reproduciblereproducible 25m 43s codethink12-arm64 codethink9-arm64 arm64_13/10410
2022-10-14 12:19:00 4.5.2-2 unstable arm64 reproduciblereproducible 30m 18s codethink13-arm64 codethink16-arm64 arm64_20/9134
2022-10-14 11:59:00 4.5.2-2 unstable amd64 reproduciblereproducible 24m 30s ionos5-amd64 ionos11-amd64 amd64_6/13011
2022-09-01 10:12:00 4.5.2-2 bookworm amd64 reproduciblereproducible 47m 3s ionos11-amd64 ionos5-amd64 amd64_5/1258
2022-08-31 17:30:00 4.5.2-2 unstable amd64 reproduciblereproducible 47m 18s ionos5-amd64 ionos1-amd64 amd64_2/428
2022-08-30 08:31:00 4.5.2-2 bookworm i386 unreproducibleunreproducible 10m 53s ionos2-i386 ionos6-i386 i386_9/1824
2022-08-29 07:10:00 4.5.2-2 bookworm armhf unreproducibleunreproducible 41m 8s virt64c-armhf-rb ff4a-armhf-rb armhf_31/4221
2022-08-29 05:59:00 4.5.2-2 bookworm arm64 unreproducibleunreproducible 32m 26s codethink10-arm64 codethink11-arm64 arm64_6/5104
2022-08-28 16:37:00 4.5.1-2 bookworm arm64 reproduciblereproducible 31m 1s codethink15-arm64 codethink16-arm64 arm64_28/4058
2022-08-28 03:19:00 4.5.2-2 unstable i386 unreproducibleunreproducible 20m 18s ionos6-i386 ionos12-i386 i386_6/279
2022-08-27 20:22:00 4.5.2-2 unstable armhf unreproducibleunreproducible 46m 37s virt64c-armhf-rb ff4a-armhf-rb armhf_31/4146
2022-08-27 19:00:00 4.5.2-2 unstable arm64 reproduciblereproducible 31m 52s codethink16-arm64 codethink9-arm64 arm64_29/484
2022-08-27 14:34:00 4.5.2-1 unstable arm64 FTBFSFTBFS 15m 40s codethink15-arm64 codethink10-arm64 arm64_25/4977
2022-08-27 04:34:00 4.5.2-1 unstable i386 FTBFSFTBFS 6m 6s ionos6-i386 ionos2-i386 i386_2/1524
2022-08-26 15:53:00 4.5.2-1 unstable armhf FTBFSFTBFS 27m 17s jtx1b-armhf-rb cbxi4pro0-armhf-rb armhf_43/1391
2022-08-26 15:44:00 4.5.2-1 unstable arm64 404404 codethink14-arm64 codethink9-arm64 arm64_21/54
2022-08-24 01:20:00 4.5.1-2 bookworm amd64 reproduciblereproducible 15m 10s ionos15-amd64 ionos11-amd64 amd64_8/167
2022-08-21 11:26:00 4.5.1-2 unstable arm64 reproduciblereproducible 27m 41s codethink14-arm64 codethink13-arm64 arm64_23/4271
2022-08-14 02:58:00 4.5.1-2 unstable amd64 reproduciblereproducible 31m 42s ionos15-amd64 ionos1-amd64 amd64_12/4846
2022-07-29 23:44:00 4.5.1-2 bookworm i386 unreproducibleunreproducible 11m 50s ionos6-i386 ionos12-i386 i386_6/4295
2022-07-28 03:41:00 4.5.1-2 bookworm arm64 reproduciblereproducible 33m 58s codethink10-arm64 codethink15-arm64 arm64_8/2185
2022-07-28 01:21:00 4.5.1-2 bookworm armhf unreproducibleunreproducible 57m 59s cbxi4b-armhf-rb virt64c-armhf-rb armhf_2/35
2022-07-27 18:25:00 4.5.1-2 bookworm amd64 reproduciblereproducible 50m 39s ionos11-amd64 ionos15-amd64 amd64_15/2916
2022-07-23 10:49:00 4.5.1-2 unstable i386 unreproducibleunreproducible 26m 38s ionos16-i386 ionos2-i386 i386_12/2829
2022-07-22 16:21:00 4.5.1-2 unstable amd64 reproduciblereproducible 33m 36s ionos11-amd64 ionos5-amd64 amd64_29/3369
2022-07-21 10:04:00 4.5.1-2 unstable armhf unreproducibleunreproducible 35m 19s virt64b-armhf-rb virt32b-armhf-rb armhf_15/538
2022-07-21 01:34:00 4.5.1-2 unstable arm64 reproduciblereproducible 32m 46s codethink14-arm64 codethink13-arm64 arm64_23/1642