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