Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
| Architecture | Version | Status | For | Buildd | State | Misc | Logs |
|---|---|---|---|---|---|---|---|
 armhf | 2.4.0.2-2 | BD-Uninstallable | 3450d 18h 17m | uncompiled | haskell:source | old | all (4) |
Dependency installability problem for agda on armhf:
agda build-depends on missing: - ghc-ghci:armhf