Quality Assurance
Policy is your friend. Trust the Policy. Love the Policy. Obey the Policy.
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:
oldstable222sid
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-04 00:13 UTC
hendrik@askra.de in oldstable222sid
other distributions:
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
oldstable22testing
fail:
0
unknown:
2
proofgeneral
prooftree
pass:
4
easy-format
hol-light
otags
uuidm
proofgeneral in oldstable222sid
Source:
proofgeneral
piuparts summary:
unknown
Version:
4.5-3
Maintainer:
Hendrik Tews <hendrik@askra.de>
Binary:
proofgeneral:all
piuparts-result:
dependency-failed-testing
N/A
Version:
4.5-3 [cruft]
Binary:
proofgeneral-doc:all
piuparts-result:
successfully-tested
4.5-3
Version:
4.5-3 [cruft]
prooftree in oldstable222sid
Source:
prooftree
piuparts summary:
unknown
Version:
None
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
prooftree
piuparts-result:
dependency-failed-testing
N/A
Version:
None [cruft]
easy-format in oldstable222sid
Source:
easy-format
piuparts summary:
Version:
1.3.4-3
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
libeasy-format-ocaml
piuparts-result:
successfully-tested
1.3.4-3+b4
Version:
1.3.4-3+b4 [cruft]
Binary:
libeasy-format-ocaml-dev
piuparts-result:
successfully-tested
1.3.4-3+b4
Version:
1.3.4-3+b4 [cruft]
hol-light in oldstable222sid
Source:
hol-light
piuparts summary:
Version:
1:3.0.0-2
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
hol-light
piuparts-result:
successfully-tested
1:3.0.0-2+b12
Version:
1:3.0.0-2+b12 [cruft]
otags in oldstable222sid
Source:
otags
piuparts summary:
Version:
None
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Mehdi Dogguy <mehdi@debian.org>
,
Hendrik Tews <hendrik@askra.de>
Binary:
otags
piuparts-result:
successfully-tested
None
Version:
None [cruft]
uuidm in oldstable222sid
Source:
uuidm
piuparts summary:
Version:
0.9.10-1
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
libuuidm-ocaml-dev
piuparts-result:
successfully-tested
0.9.10-1+b1
Version:
0.9.10-1+b1 [cruft]