build history of coq-serapi

build date version suite architecture result build duration node1 node2 job
2024-12-22 08:34:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 8m 16s ionos16-i386 ionos2-i386 i386_4/46027
2024-12-18 21:51:00 8.20.0+0.20.0-1 trixie arm64 reproduciblereproducible 5m 4s codethink02-arm64 codethink03-arm64 arm64_7/50132
2024-12-18 17:28:00 8.20.0+0.20.0-1 trixie amd64 reproduciblereproducible 15m 43s ionos1-amd64 ionos15-amd64 amd64_29/28909
2024-12-18 15:27:00 8.20.0+0.20.0-1 trixie i386 depwaitdepwait 45s ionos2-i386 ionos16-i386 i386_3/48900
2024-12-14 09:10:00 8.20.0+0.20.0-1 unstable armhf depwaitdepwait 1m 51s ff64a-armhf-rb virt32a-armhf-rb armhf_18/9204
2024-12-13 17:08:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 36s ionos12-i386 ionos6-i386 i386_5/42714
2024-12-13 00:34:00 8.20.0+0.20.0-1 trixie i386 depwaitdepwait 39s ionos16-i386 ionos2-i386 i386_4/44533
2024-12-12 23:03:00 8.20.0+0.20.0-1 unstable arm64 reproduciblereproducible 6m 55s codethink01-arm64 codethink03-arm64 arm64_14/73562
2024-12-12 10:04:00 8.20.0+0.20.0-1 unstable amd64 reproduciblereproducible 12m 57s ionos15-amd64 ionos1-amd64 amd64_12/40416
2024-12-03 18:27:00 8.20.0+0.20.0-1 trixie i386 depwaitdepwait 24s infom08-i386 infom07-i386 i386_16/50786
2024-12-03 10:42:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 50s ionos12-i386 ionos16-i386 i386_7/50094
2024-12-01 14:10:00 8.20.0+0.20.0-1 trixie i386 depwaitdepwait 36s infom07-i386 infom08-i386 i386_17/30804
2024-11-30 10:15:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 32s ionos12-i386 ionos6-i386 i386_5/40666
2024-11-29 17:30:00 8.20.0+0.20.0-1 trixie armhf depwaitdepwait 2m 59s cbxi4a-armhf-rb virt64z-armhf-rb armhf_1/7432
2024-11-29 09:12:00 8.20.0+0.20.0-1 trixie i386 depwaitdepwait 30s ionos2-i386 ionos6-i386 i386_9/33322
2024-11-29 07:19:00 8.20.0+0.20.0-1 trixie arm64 reproduciblereproducible 18m 24s codethink01-arm64 codethink02-arm64 arm64_13/48640
2024-11-29 05:20:00 8.20.0+0.20.0-1 trixie amd64 reproduciblereproducible 14m 20s ionos1-amd64 ionos5-amd64 amd64_25/23386
2024-11-27 00:25:00 8.20.0+0.20.0-1 unstable armhf depwaitdepwait 2m 30s ff64a-armhf-rb virt32b-armhf-rb armhf_13/6761
2024-11-26 17:09:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 44s infom08-i386 infom07-i386 i386_14/52855
2024-11-25 17:11:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 41s ionos2-i386 ionos6-i386 i386_1/46084
2024-11-24 12:48:00 8.19.0+0.19.3-4 trixie amd64 reproduciblereproducible 9m 41s infom02-amd64 infom01-amd64 amd64_38/35096
2024-11-23 20:56:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 30s ionos16-i386 ionos12-i386 i386_8/49031
2024-11-23 10:59:00 8.19.0+0.19.3-4 trixie arm64 reproduciblereproducible 7m 29s codethink02-arm64 codethink03-arm64 arm64_7/45720
2024-11-22 14:21:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 28s infom08-i386 infom07-i386 i386_16/48998
2024-11-21 09:32:00 8.20.0+0.20.0-1 unstable amd64 reproduciblereproducible 10m 8s ionos11-amd64 ionos5-amd64 amd64_31/25293
2024-11-20 18:34:00 8.20.0+0.20.0-1 unstable i386 depwaitdepwait 39s ionos12-i386 ionos16-i386 i386_12/29680
2024-11-20 17:28:00 8.20.0+0.20.0-1 unstable arm64 reproduciblereproducible 9m 14s codethink03-arm64 codethink01-arm64 arm64_5/69270
2024-11-20 16:40:00 8.20.0+0.20.0-1 unstable amd64 404404 ionos11-amd64 ionos15-amd64 amd64_27/39688
2024-11-20 02:22:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 32s infom07-i386 infom08-i386 i386_19/30579
2024-11-19 19:34:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 37s ionos6-i386 ionos2-i386 i386_2/45181
2024-11-19 19:04:00 8.19.0+0.19.3-4 unstable amd64 reproduciblereproducible 6m 37s ionos11-amd64 ionos15-amd64 amd64_23/38812
2024-11-17 02:38:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 38s ionos6-i386 ionos12-i386 i386_6/44115
2024-11-15 07:56:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 43s infom07-i386 infom08-i386 i386_13/50532
2024-11-14 02:40:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 34s ionos2-i386 ionos6-i386 i386_1/43984
2024-11-12 17:46:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 30s ionos2-i386 ionos6-i386 i386_9/30423
2024-11-11 21:01:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 35s ionos2-i386 ionos16-i386 i386_3/41664
2024-10-30 23:58:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 1m 55s ionos6-i386 ionos12-i386 i386_6/42798
2024-10-30 12:16:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 42s ionos2-i386 ionos6-i386 i386_9/29904
2024-10-28 00:27:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 28s ionos6-i386 ionos2-i386 i386_11/30866
2024-10-27 02:19:00 8.19.0+0.19.3-4 trixie arm64 reproduciblereproducible 28m 0s codethink02-arm64 codethink03-arm64 arm64_19/41579
2024-10-26 05:57:00 8.19.0+0.19.3-4 unstable arm64 reproduciblereproducible 7m 23s codethink02-arm64 codethink03-arm64 arm64_7/41558
2024-10-25 07:24:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 53s ionos12-i386 ionos16-i386 i386_7/44310
2024-10-25 07:12:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 51s ionos12-i386 ionos16-i386 i386_12/26403
2024-10-23 18:57:00 8.19.0+0.19.3-4 trixie amd64 reproduciblereproducible 8m 42s ionos1-amd64 ionos5-amd64 amd64_25/21172
2024-10-23 03:19:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 44s infom07-i386 infom08-i386 i386_17/24397
2024-10-23 00:27:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 51s infom07-i386 infom08-i386 i386_17/24292
2024-10-19 00:47:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 41s infom08-i386 infom07-i386 i386_18/27043
2024-10-17 10:07:00 8.19.0+0.19.3-4 unstable amd64 reproduciblereproducible 7m 2s infom02-amd64 infom01-amd64 amd64_38/30504
2024-10-16 07:16:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 42s ionos6-i386 ionos2-i386 i386_11/28763
2024-10-15 04:24:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 49s ionos12-i386 ionos16-i386 i386_12/24775
2024-10-14 02:10:00 8.19.0+0.19.3-4 trixie armhf depwaitdepwait 1m 47s virt32a-armhf-rb virt64z-armhf-rb armhf_9/9641
2024-10-12 07:24:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 33s ionos16-i386 ionos12-i386 i386_8/42941
2024-10-11 18:46:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 42s ionos12-i386 ionos6-i386 i386_5/34505
2024-10-06 14:35:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 42s infom07-i386 infom08-i386 i386_15/41135
2024-10-06 07:40:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 39s ionos16-i386 ionos12-i386 i386_8/42019
2024-10-01 21:18:00 8.19.0+0.19.3-4 trixie arm64 reproduciblereproducible 9m 14s codethink02-arm64 codethink03-arm64 arm64_19/38080
2024-09-30 07:13:00 8.19.0+0.19.3-4 unstable arm64 reproduciblereproducible 8m 17s codethink02-arm64 codethink04-arm64 arm64_20/38917
2024-09-29 13:24:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 51s infom07-i386 infom08-i386 i386_19/23234
2024-09-28 01:59:00 8.19.0+0.19.3-4 trixie amd64 reproduciblereproducible 26m 39s ionos5-amd64 ionos1-amd64 amd64_26/20518
2024-09-21 08:48:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 47s infom08-i386 infom07-i386 i386_14/43312
2024-09-21 02:41:00 8.19.0+0.19.3-4 unstable amd64 reproduciblereproducible 16m 3s ionos15-amd64 ionos1-amd64 amd64_30/20710
2024-09-20 14:27:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 25s infom08-i386 infom07-i386 i386_20/24646
2024-09-18 14:58:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 39s infom07-i386 infom08-i386 i386_19/21938
2024-09-17 19:44:00 8.19.0+0.19.3-4 unstable i386 depwaitdepwait 34s infom07-i386 infom08-i386 i386_19/21742
2024-09-14 03:09:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 33s ionos16-i386 ionos12-i386 i386_8/40134
2024-09-11 00:09:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 40s infom08-i386 infom07-i386 i386_18/22214
2024-09-07 07:32:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 40s ionos16-i386 ionos12-i386 i386_10/22775
2024-09-05 18:41:00 8.19.0+0.19.3-4 trixie amd64 reproduciblereproducible 5m 10s infom02-amd64 infom01-amd64 amd64_34/26465
2024-09-05 09:12:00 8.19.0+0.19.3-4 trixie arm64 reproduciblereproducible 9m 9s codethink02-arm64 codethink01-arm64 arm64_16/26363
2024-09-04 18:14:00 8.19.0+0.19.3-4 trixie i386 depwaitdepwait 27s ionos2-i386 ionos6-i386 i386_1/36275
2024-09-04 16:22:00 8.19.0+0.19.3-4 trixie amd64 404404 ionos11-amd64 ionos5-amd64 amd64_21/17868
2024-09-02 07:45:00 8.19.0+0.19.3-4 unstable arm64 reproduciblereproducible 6m 38s codethink03-arm64 codethink04-arm64 arm64_11/59626
2024-08-30 05:22:00 8.19.0+0.19.3-4 unstable amd64 reproduciblereproducible 8m 36s ionos5-amd64 ionos11-amd64 amd64_6/19869
2024-08-14 10:35:00 8.19.0+0.19.3-3 trixie amd64 reproduciblereproducible 5m 20s infom02-amd64 infom01-amd64 amd64_34/23673
2024-08-10 18:47:00 8.19.0+0.19.3-4 unstable armhf depwaitdepwait 2m 6s cbxi4a-armhf-rb virt64z-armhf-rb armhf_1/6657
2024-08-06 05:37:00 8.19.0+0.19.3-4 unstable i386 reproduciblereproducible 42m 49s infom08-i386 infom07-i386 i386_18/15712
2024-08-04 12:15:00 8.19.0+0.19.3-4 unstable arm64 reproduciblereproducible 7m 30s codethink03-arm64 codethink04-arm64 arm64_11/55602
2024-08-04 12:02:00 8.19.0+0.19.3-4 unstable amd64 reproduciblereproducible 5m 53s ionos11-amd64 ionos5-amd64 amd64_5/15363
2024-07-25 20:59:00 8.19.0+0.19.3-3 trixie arm64 reproduciblereproducible 21m 29s codethink03-arm64 codethink04-arm64 arm64_23/50357
2024-07-22 08:17:00 8.19.0+0.19.3-3 unstable arm64 reproduciblereproducible 7m 20s codethink03-arm64 codethink04-arm64 arm64_23/50232
2024-07-20 19:38:00 8.19.0+0.19.3-3 trixie amd64 reproduciblereproducible 9m 13s ionos15-amd64 ionos11-amd64 amd64_24/27727
2024-07-17 06:11:00 8.19.0+0.19.3-3 unstable amd64 reproduciblereproducible 10m 26s ionos11-amd64 ionos5-amd64 amd64_21/13340
2024-07-07 04:44:00 8.19.0+0.19.3-3 trixie armhf reproduciblereproducible 19m 33s virt32a-armhf-rb virt64z-armhf-rb armhf_9/7960
2024-06-25 00:45:00 8.19.0+0.19.3-3 trixie i386 reproduciblereproducible 28m 3s ionos6-i386 ionos2-i386 i386_2/30573
2024-06-24 15:07:00 8.19.0+0.19.3-3 trixie arm64 reproduciblereproducible 18m 58s codethink03-arm64 codethink01-arm64 arm64_5/48176
2024-06-24 11:28:00 8.19.0+0.19.3-3 trixie amd64 reproduciblereproducible 19m 16s ionos15-amd64 ionos11-amd64 amd64_8/25201
2024-06-21 12:13:00 8.19.0+0.19.3-3 unstable armhf reproduciblereproducible 20m 19s virt64a-armhf-rb virt32b-armhf-rb armhf_12/6720
2024-06-19 00:33:00 8.19.0+0.19.3-3 unstable arm64 reproduciblereproducible 6m 19s codethink01-arm64 codethink02-arm64 arm64_1/26238
2024-06-19 00:21:00 8.19.0+0.19.3-3 unstable i386 reproduciblereproducible 4m 44s infom08-i386 infom07-i386 i386_20/9654
2024-06-19 00:19:00 8.19.0+0.19.3-3 unstable amd64 reproduciblereproducible 10m 30s ionos11-amd64 ionos5-amd64 amd64_13/11924
2024-06-18 01:03:00 8.19.0+0.19.3-2 unstable amd64 FTBFSFTBFS 1m 18s ionos5-amd64 ionos11-amd64 amd64_32/11019
2024-06-18 00:59:00 8.19.0+0.19.3-2 unstable amd64 FTBFSFTBFS 2m 52s ionos11-amd64 ionos5-amd64 amd64_31/10963
2024-05-28 13:05:00 8.19.0+0.19.3-2 unstable arm64 reproduciblereproducible 7m 12s codethink02-arm64 codethink03-arm64 arm64_19/20895
2024-05-28 01:14:00 8.19.0+0.19.3-2 unstable amd64 reproduciblereproducible 13m 53s ionos11-amd64 ionos15-amd64 amd64_23/21847
2024-05-28 00:38:00 8.19.0+0.19.3-2 unstable armhf reproduciblereproducible 40m 48s cbxi4pro0-armhf-rb virt64b-armhf-rb armhf_35/3274
2024-05-26 19:02:00 8.19.0+0.19.3-2 unstable i386 reproduciblereproducible 18m 58s ionos6-i386 ionos2-i386 i386_11/14161
2024-05-26 16:31:00 8.19.0+0.19.3-2 unstable arm64 404404 codethink03-arm64 codethink04-arm64 arm64_11/46085
2024-05-26 16:18:00 8.19.0+0.19.3-2 unstable amd64 404404 infom02-amd64 infom01-amd64 amd64_38/10896