Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
---|---|---|---|---|---|---|---|---|
![]() | 1.0.0-8 | BD-Uninstallable | 959d 10h 44m | uncompiled | misc | old | all (1) | giveback |
mathcomp-algebra-tactics build-depends on missing: - libcoq-elpi:armhf