Raspbian Package Auto-Building

Buildd status for coq (bullseye-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

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

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf 8.12.0-3+b2Installed1210d 22h 17mmb-lxc-01math:sourceold | all (1)

BinNMU changelog for coq on armhf:

rebuild due to debcheck failure