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