Raspbian Package Auto-Building

Buildd status for mathcomp-analysis (bookworm-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateSectionLogsActions
Buildd exposure stats armhf 0.6.0-2BD-Uninstallable676d 4muncompiledmiscold | no loggiveback

Dependency installability problem for mathcomp-analysis on armhf:

mathcomp-analysis build-depends on missing:
- libcoq-elpi:armhf