Raspbian Package Auto-Building

Buildd status for coq (jessie-staging)

Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o

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

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf 8.4pl4dfsg-1Installed2587d 4h 39mmath:sourceold | all (1)