arm64 build of agda 2.5.3-5build3 in ubuntu disco RELEASE
created
Build status
Dependency wait on bos02-arm64-021
- Missing build dependencies: libghc-async-dev (< 2.2)
- Started
- Finished (took 1 minute, 20.7 seconds)
- buildlog (4.6 KiB)