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: sid-nodoc
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
bullseye
bullseye-rcmd
stable2sid
stable22sid
buster
buster-rcmd
buster-security
buster-pu
buster2next
stretch2buster
stretch2Xbuster
stretch2buster-rcmd
stretch2Xbuster-rcmd
stretch2bpo2buster
stretch2bpo
stretch
stretch-rcmd
stretch-security
stretch-pu
stretch2next
oldstable222sid
oldstable22testing
jessie2stretch
jessie2Xstretch
jessie2stretch-rcmd
jessie2Xstretch-rcmd
jessie-lts2stretch
jessie2bpo2stretch
jessie2bpo
jessie2lts
jessie
jessie-rcmd
jessie-security
wheezy2jessie-lts
wheezy2jessie
wheezy2jessie-rcmd
wheezy2bpo2jessie
wheezy2lts
wheezy
wheezy-security
squeeze2wheezy-lts
squeeze2wheezy
squeeze2bpo-sloppy
squeeze2bpo2wheezy
squeeze2squeeze-lts
squeeze
lenny2squeeze
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
2019-09-21 21:20 UTC
hendrik@askra.de in sid-nodoc
other distributions: experimental sid2experimental sid sid-strict sid-merged-usr sid-broken-symlinks testing2sid bullseye bullseye-rcmd stable2sid stable22sid buster buster-rcmd buster-security buster-pu buster2next stretch2buster stretch2Xbuster stretch2buster-rcmd stretch2Xbuster-rcmd stretch2bpo2buster stretch2bpo stretch stretch-rcmd stretch-security stretch-pu stretch2next oldstable222sid oldstable22testing jessie2stretch jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie-lts2stretch jessie2bpo2stretch jessie2bpo jessie2lts jessie jessie-rcmd jessie-security wheezy2jessie-lts wheezy2jessie wheezy2jessie-rcmd wheezy2bpo2jessie wheezy2lts wheezy wheezy-security squeeze2wheezy-lts squeeze2wheezy squeeze2bpo-sloppy squeeze2bpo2wheezy squeeze2squeeze-lts squeeze lenny2squeeze
fail:0 
unknown:0 
pass:12camlmix easy-format hol-light mikmatch ocaml-atd ocaml-benchmark ocaml-extunix otags proofgeneral prooftree tophide uuidm
camlmix in sid-nodoc
Source:camlmixpiuparts summary:successVersion:1.3.1-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:camlmixpiuparts-result:successfully-tested 1.3.1-3+b3Version:1.3.1-3+b3
easy-format in sid-nodoc
Source:easy-formatpiuparts summary:successVersion:1.2.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libeasy-format-ocamlpiuparts-result:successfully-tested 1.2.0-1+b1Version:1.2.0-1+b1
Binary:libeasy-format-ocaml-devpiuparts-result:successfully-tested 1.2.0-1+b1Version:1.2.0-1+b1
hol-light in sid-nodoc
Source:hol-lightpiuparts summary:successVersion:20190729-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:hol-lightpiuparts-result:successfully-tested 20190729-2+b1Version:20190729-2+b1
mikmatch in sid-nodoc
Source:mikmatchpiuparts summary:successVersion:1.0.8-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libmikmatch-ocamlpiuparts-result:successfully-tested 1.0.8-2Version:1.0.8-2
Binary:libmikmatch-ocaml-devpiuparts-result:successfully-tested 1.0.8-2Version:1.0.8-2
ocaml-atd in sid-nodoc
Source:ocaml-atdpiuparts summary:successVersion:2.0.0-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libatd-ocamlpiuparts-result:successfully-tested 2.0.0-3+b2Version:2.0.0-3+b2
Binary:libatd-ocaml-devpiuparts-result:successfully-tested 2.0.0-3+b2Version:2.0.0-3+b2
Binary:libatdgen-ocamlpiuparts-result:successfully-tested 2.0.0-3+b2Version:2.0.0-3+b2
Binary:libatdgen-ocaml-devpiuparts-result:successfully-tested 2.0.0-3+b2Version:2.0.0-3+b2
ocaml-benchmark in sid-nodoc
Source:ocaml-benchmarkpiuparts summary:successVersion:1.3-3
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libbenchmark-ocaml-devpiuparts-result:successfully-tested 1.3-3Version:1.3-3
ocaml-extunix in sid-nodoc
Source:ocaml-extunixpiuparts summary:successVersion:0.1.6-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>, Mehdi Dogguy <mehdi@debian.org>
Binary:libextunix-ocamlpiuparts-result:successfully-tested 0.1.6-1+b1Version:0.1.6-1+b1
Binary:libextunix-ocaml-devpiuparts-result:successfully-tested 0.1.6-1+b1Version:0.1.6-1+b1
otags in sid-nodoc
Source:otagspiuparts summary:successVersion:4.05.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mehdi Dogguy <mehdi@debian.org>, Hendrik Tews <hendrik@askra.de>
Binary:otagspiuparts-result:successfully-tested 4.05.1-1+b2Version:4.05.1-1+b2
proofgeneral in sid-nodoc
Source:proofgeneralpiuparts summary:successVersion:4.4.1~pre170114-1.1
Maintainer:Hendrik Tews <hendrik@askra.de>
Binary:proofgeneral:allpiuparts-result:successfully-tested 4.4.1~pre170114-1.1Version:4.4.1~pre170114-1.1
Binary:proofgeneral-doc:allpiuparts-result:successfully-tested 4.4.1~pre170114-1.1Version:4.4.1~pre170114-1.1
prooftree in sid-nodoc
Source:prooftreepiuparts summary:successVersion:0.13-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:prooftreepiuparts-result:successfully-tested 0.13-1+b3Version:0.13-1+b3
tophide in sid-nodoc
Source:tophidepiuparts summary:successVersion:1.0.4-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libtophide-ocaml-dev:allpiuparts-result:successfully-tested 1.0.4-1Version:1.0.4-1
uuidm in sid-nodoc
Source:uuidmpiuparts summary:successVersion:0.9.6-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libuuidm-ocaml-devpiuparts-result:successfully-tested 0.9.6-1+b4Version:0.9.6-1+b4