Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
---|---|---|---|---|---|---|---|---|
armhf | 1.16.0-2 | BD-Uninstallable | 639d 13h 40m | uncompiled | misc | old | no log | giveback |
coq-elpi build-depends on missing: - libelpi-ocaml-dev:armhf