Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf | 0.6.0-2 | BD-Uninstallable | 662d 19h 49m | uncompiled | misc | old | no log | giveback |
Dependency installability problem for mathcomp-analysis on armhf:
mathcomp-analysis build-depends on missing: - libcoq-elpi:armhf