General information
About
News
FAQ
Contact us
Documentation
How to file bugs
using templates
Debian policy
piuparts.d.o configuration:
piuparts.conf,
distros.conf,
scripts and logs
README
README_server
piuparts manpage
Summaries
Bugs filed
Suites overview
Suite: sid2experimental
by maintainer / uploader
by source package
states graph
all tested suites
experimental
sid2experimental
sid
sid-strict
sid-nodoc
sid-merged-usr
sid-broken-symlinks
testing2sid
forky
forky-rcmd
trixie
trixie-rcmd
trixie-security
trixie-pu
trixie2next
bookworm
bookworm-rcmd
bookworm-security
bookworm-pu
bookworm2next
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
stable2sid
stable22sid
oldstable222sid
oldstable22testing
src: piuparts
Source
piuparts.d.o bugs
piuparts bugs / ToDo
Other Debian QA efforts
Debian QA Group
Dose tools (former: EDOS)
Lintian
Debian Package Tracker
Ultimate Debian Database
jenkins.debian.net
ci.debian.net
Last update
2025-10-01 00:00 UTC
bbaren@debian.org in sid2experimental
other distributions: experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid forky forky-rcmd trixie trixie-rcmd trixie-security trixie-pu trixie2next bookworm bookworm-rcmd bookworm-security bookworm-pu bookworm2next bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid oldstable222sid oldstable22testing
fail:1coq
unknown:0 
pass:0 
coq in sid2experimental
Source:coqpiuparts summary:failedVersion:9.1.0+dfsg-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Binary:coqpiuparts-result:failed-testing 9.1.0+dfsg-1Version:9.1.0+dfsg-1
Binary:libcoq-corepiuparts-result:successfully-tested 9.1.0+dfsg-1Version:9.1.0+dfsg-1
Binary:libcoq-core-ocamlpiuparts-result:successfully-tested 9.1.0+dfsg-1Version:9.1.0+dfsg-1
Binary:libcoq-core-ocaml-devpiuparts-result:failed-testing 9.1.0+dfsg-1Version:9.1.0+dfsg-1
Binary:rocqidepiuparts-result:dependency-failed-testing N/AVersion:9.1.0+dfsg-1