amd64 build of agda 2.5.3-5build3 in ubuntu disco RELEASE
created
Build status
Dependency wait on lcy01-amd64-018
- Missing build dependencies: libghc-async-dev (< 2.2)
- Started
- Finished (took 1 minute, 7.2 seconds)
- buildlog (4.8 KiB)