Raspbian Package Auto-Building

Buildd status for why3 (bookworm-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

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

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf 1.3.3-3+b1Installed1142d 3h 17mtestbuilddmisc:optionalold | all (1)

BinNMU changelog for why3 on armhf:

rebuild due to debcheck failure