libghc-agda-dev - armel
Documentation
Binaries