amd64 build of agda-stdlib 0.14-1 in ubuntu disco RELEASE
created
Build status
Dependency wait on lgw01-amd64-028
- Missing build dependencies: libghc-agda-dev (< 2.5.4~)
- Started
- Finished (took 2 minutes, 18.0 seconds)
- buildlog (4.2 KiB)