Raspbian Package Auto-Building

Buildd status for agda (jessie-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf 2.4.0.2-2BD-Uninstallable247d 12h 8muncompiledhaskell:sourceold | all (4)

Dependency installability problem for agda on armhf:

agda build-depends on missing:
- ghc-ghci:armhf