ppc64el build of agda 2.5.3-5build3 in ubuntu disco RELEASE
created
Build status
Dependency wait on bos02-ppc64el-019
- Missing build dependencies: libghc-async-dev (< 2.2)
- Started
- Finished (took 1 minute, 3.1 seconds)
- buildlog (4.6 KiB)
Build details
- Source:
- agda - 2.5.3-5build3
- Series:
- Disco
- Architecture:
- ppc64el
- Pocket:
- Release
- Component:
- universe