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:
bookworm-rcmd
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-09-27 21:08 UTC
hendrik@askra.de in bookworm-rcmd
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-security
bookworm-pu
bookworm2next
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
stable2sid
stable22sid
oldstable222sid
oldstable22testing
fail:
0
unknown:
0
pass:
6
easy-format
hol-light
otags
proofgeneral
prooftree
uuidm
easy-format in bookworm-rcmd
Source:
easy-format
piuparts summary:
Version:
1.3.4-1
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-1
Version:
1.3.4-1
Binary:
libeasy-format-ocaml-dev
piuparts-result:
successfully-tested
1.3.4-1
Version:
1.3.4-1
hol-light in bookworm-rcmd
Source:
hol-light
piuparts summary:
Version:
20230128-1
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
hol-light
piuparts-result:
successfully-tested
20230128-1+b1
Version:
20230128-1+b1
otags in bookworm-rcmd
Source:
otags
piuparts summary:
Version:
4.05.1-3
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
4.05.1-3
Version:
4.05.1-3
proofgeneral in bookworm-rcmd
Source:
proofgeneral
piuparts summary:
Version:
4.4.1~pre170114-1.2
Maintainer:
Hendrik Tews <hendrik@askra.de>
Binary:
proofgeneral:all
piuparts-result:
successfully-tested
4.4.1~pre170114-1.2
Version:
4.4.1~pre170114-1.2
Binary:
proofgeneral-doc:all
piuparts-result:
successfully-tested
4.4.1~pre170114-1.2
Version:
4.4.1~pre170114-1.2
prooftree in bookworm-rcmd
Source:
prooftree
piuparts summary:
Version:
0.13-2
Maintainer:
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Binary:
prooftree
piuparts-result:
successfully-tested
0.13-2+b2
Version:
0.13-2+b2
uuidm in bookworm-rcmd
Source:
uuidm
piuparts summary:
Version:
0.9.8-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.8-1
Version:
0.9.8-1