build history of coq-serapi on arm64
      
  
    | build date | 
    version | 
    suite | 
    architecture | 
    result | 
    build duration | 
    node1 | 
    node2 | 
    job | 
  
  
    | 2025-07-27 10:57:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    8m 26s | 
    codethink04-arm64 | 
    codethink03-arm64 | 
    arm64_11/114346 | 
  
  
    | 2025-07-15 12:46:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    8m 55s | 
    codethink04-arm64 | 
    codethink03-arm64 | 
    arm64_12/108951 | 
  
  
    | 2025-06-23 05:22:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    5m 57s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_4/80274 | 
  
  
    | 2025-06-11 06:36:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    4m 32s | 
    codethink04-arm64 | 
    codethink03-arm64 | 
    arm64_10/76820 | 
  
  
    | 2025-05-14 17:37:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    6m 57s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_6/94496 | 
  
  
    | 2025-04-29 10:08:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    5m 57s | 
    codethink04-arm64 | 
    codethink03-arm64 | 
    arm64_9/72364 | 
  
  
    | 2025-03-27 14:48:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    9m 28s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_1/66199 | 
  
  
    | 2025-03-08 12:53:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    5m 0s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_6/82778 | 
  
  
    | 2025-01-23 07:43:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    6m 7s | 
    codethink04-arm64 | 
    codethink03-arm64 | 
    arm64_10/54828 | 
  
  
    | 2025-01-10 11:41:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    5m 24s | 
    codethink01-arm64 | 
    codethink04-arm64 | 
    arm64_3/73156 | 
  
  
    | 2024-12-18 21:51:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    5m 4s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_7/50132 | 
  
  
    | 2024-12-12 23:03:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    6m 55s | 
    codethink01-arm64 | 
    codethink03-arm64 | 
    arm64_14/73562 | 
  
  
    | 2024-11-29 07:19:00 | 
    8.20.0+0.20.0-1 | 
    trixie | 
    arm64 | 
    reproducible  | 
    18m 24s | 
    codethink01-arm64 | 
    codethink02-arm64 | 
    arm64_13/48640 | 
  
  
    | 2024-11-23 10:59:00 | 
    8.19.0+0.19.3-4 | 
    trixie | 
    arm64 | 
    reproducible  | 
    7m 29s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_7/45720 | 
  
  
    | 2024-11-20 17:28:00 | 
    8.20.0+0.20.0-1 | 
    unstable | 
    arm64 | 
    reproducible  | 
    9m 14s | 
    codethink03-arm64 | 
    codethink01-arm64 | 
    arm64_5/69270 | 
  
  
    | 2024-10-27 02:19:00 | 
    8.19.0+0.19.3-4 | 
    trixie | 
    arm64 | 
    reproducible  | 
    28m 0s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_19/41579 | 
  
  
    | 2024-10-26 05:57:00 | 
    8.19.0+0.19.3-4 | 
    unstable | 
    arm64 | 
    reproducible  | 
    7m 23s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_7/41558 | 
  
  
    | 2024-10-01 21:18:00 | 
    8.19.0+0.19.3-4 | 
    trixie | 
    arm64 | 
    reproducible  | 
    9m 14s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_19/38080 | 
  
  
    | 2024-09-30 07:13:00 | 
    8.19.0+0.19.3-4 | 
    unstable | 
    arm64 | 
    reproducible  | 
    8m 17s | 
    codethink02-arm64 | 
    codethink04-arm64 | 
    arm64_20/38917 | 
  
  
    | 2024-09-05 09:12:00 | 
    8.19.0+0.19.3-4 | 
    trixie | 
    arm64 | 
    reproducible  | 
    9m 9s | 
    codethink02-arm64 | 
    codethink01-arm64 | 
    arm64_16/26363 | 
  
  
    | 2024-09-02 07:45:00 | 
    8.19.0+0.19.3-4 | 
    unstable | 
    arm64 | 
    reproducible  | 
    6m 38s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_11/59626 | 
  
  
    | 2024-08-04 12:15:00 | 
    8.19.0+0.19.3-4 | 
    unstable | 
    arm64 | 
    reproducible  | 
    7m 30s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_11/55602 | 
  
  
    | 2024-07-25 20:59:00 | 
    8.19.0+0.19.3-3 | 
    trixie | 
    arm64 | 
    reproducible  | 
    21m 29s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_23/50357 | 
  
  
    | 2024-07-22 08:17:00 | 
    8.19.0+0.19.3-3 | 
    unstable | 
    arm64 | 
    reproducible  | 
    7m 20s | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_23/50232 | 
  
  
    | 2024-06-24 15:07:00 | 
    8.19.0+0.19.3-3 | 
    trixie | 
    arm64 | 
    reproducible  | 
    18m 58s | 
    codethink03-arm64 | 
    codethink01-arm64 | 
    arm64_5/48176 | 
  
  
    | 2024-06-19 00:33:00 | 
    8.19.0+0.19.3-3 | 
    unstable | 
    arm64 | 
    reproducible  | 
    6m 19s | 
    codethink01-arm64 | 
    codethink02-arm64 | 
    arm64_1/26238 | 
  
  
    | 2024-05-28 13:05:00 | 
    8.19.0+0.19.3-2 | 
    unstable | 
    arm64 | 
    reproducible  | 
    7m 12s | 
    codethink02-arm64 | 
    codethink03-arm64 | 
    arm64_19/20895 | 
  
  
    | 2024-05-26 16:31:00 | 
    8.19.0+0.19.3-2 | 
    unstable | 
    arm64 | 
    404  | 
     | 
    codethink03-arm64 | 
    codethink04-arm64 | 
    arm64_11/46085 |