Raspbian Package Auto-Building

Buildd status for coq-elpi (bookworm-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

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

ArchitectureVersionStatusForBuilddStateSectionLogsActions
Buildd exposure stats armhf 1.16.0-2BD-Uninstallable678d 10h 46muncompiledmiscold | no loggiveback

Dependency installability problem for coq-elpi on armhf:

coq-elpi build-depends on missing:
- libelpi-ocaml-dev:armhf