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 | 2739d 7h 41m | uncompiled | haskell:source | old | all (4) |
agda build-depends on missing: - ghc-ghci:armhf