armel build of agda-bin 2.2.10-2 in ubuntu oneiric RELEASE
created
Build status
Dependency wait on hubbard (arm)
- Missing build dependencies: libghc-agda-dev
- Started
- Finished (took 4 minutes, 0.4 seconds)
- buildlog (3.5 KiB)