ppc64el build of agda 2.3.2.2-1 in ubuntu trusty RELEASE
created
Build status
Dependency wait on bos01-ppc64el-029
- Missing build dependencies: libghc-geniplate-dev (< 0.7)
- Started
- Finished (took 1 minute, 8.6 seconds)
- buildlog (8.2 KiB)