Ubuntu

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

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

Build status

[MANUALDEPWAIT] Dependency wait on bos02-arm64-051

  • Missing build dependencies: libghc-bytestring-dev-0.10.12.1-9ad3a
  • Started
  • Finished (took 2 minutes, 54.4 seconds)
  • buildlog (9.3 KiB)

Build details

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