Ubuntu

arm64 build of agda 2.6.1-1build2.1 in ubuntu kinetic RELEASE

  1. Copy archive test-rebuild-20220617-kinetic for Ubuntu Archive Test Rebuilds
  2. arm64 build of agda 2.6.1-1build2.1
created

Build status

[MANUALDEPWAIT] Dependency wait on bos02-arm64-011

  • Missing build dependencies: libghc-bytestring-dev-0.10.12.1-9ad3a
  • Started
  • Finished (took 1 minute, 40.3 seconds)
  • buildlog (8.9 KiB)

Build details

Source:
agda - 2.6.1-1build2.1
Archive:
Copy archive test-rebuild-20220617-kinetic for Ubuntu Archive Test Rebuilds
Series:
Kinetic
Architecture:
arm64
Pocket:
Release
Component:
universe