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: stretch
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
bookworm
bookworm-rcmd
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
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
2023-04-20 20:14 UTC
hendrik@askra.de in stretch
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid bookworm bookworm-rcmd bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid buster buster-rcmd buster-security buster-pu buster2next stretch2buster stretch2Xbuster stretch2buster-rcmd stretch2Xbuster-rcmd stretch2bpo2buster stretch2bpo 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:20atdgen biniou caml2html camlmix cppo easy-format hol-light mikmatch oasis ocaml-atd ocaml-benchmark ocaml-extunix ocaml-fileutils otags ounit proofgeneral prooftree tophide uuidm yojson
atdgen in stretch
Source:atdgenpiuparts summary:successVersion:1.9.1-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libatdgen-ocamlpiuparts-result:successfully-tested 1.9.1-2+b2Version:1.9.1-2+b2
Binary:libatdgen-ocaml-devpiuparts-result:successfully-tested 1.9.1-2+b2Version:1.9.1-2+b2
biniou in stretch
Source:binioupiuparts summary:successVersion:1.0.12-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libbiniou-ocamlpiuparts-result:successfully-tested 1.0.12-2+b1Version:1.0.12-2+b1
Binary:libbiniou-ocaml-devpiuparts-result:successfully-tested 1.0.12-2+b1Version:1.0.12-2+b1
caml2html in stretch
Source:caml2htmlpiuparts summary:successVersion:1.4.3-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:caml2htmlpiuparts-result:successfully-tested 1.4.3-1+b3Version:1.4.3-1+b3
Binary:libcaml2html-ocamlpiuparts-result:successfully-tested 1.4.3-1+b3Version:1.4.3-1+b3
Binary:libcaml2html-ocaml-devpiuparts-result:successfully-tested 1.4.3-1+b3Version:1.4.3-1+b3
camlmix in stretch
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+b2Version:1.3.1-3+b2
cppo in stretch
Source:cppopiuparts summary:successVersion:1.3.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:cppopiuparts-result:successfully-tested 1.3.2-1+b1Version:1.3.2-1+b1
easy-format in stretch
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-1Version:1.2.0-1
Binary:libeasy-format-ocaml-devpiuparts-result:successfully-tested 1.2.0-1Version:1.2.0-1
hol-light in stretch
Source:hol-lightpiuparts summary:successVersion:20170109-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:hol-lightpiuparts-result:successfully-tested 20170109-1Version:20170109-1
mikmatch in stretch
Source:mikmatchpiuparts summary:successVersion:1.0.8-1
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-1Version:1.0.8-1
Binary:libmikmatch-ocaml-devpiuparts-result:successfully-tested 1.0.8-1Version:1.0.8-1
oasis in stretch
Source:oasispiuparts summary:successVersion:0.4.6-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:liboasis-ocamlpiuparts-result:successfully-tested 0.4.6-1Version:0.4.6-1
Binary:liboasis-ocaml-devpiuparts-result:successfully-tested 0.4.6-1Version:0.4.6-1
Binary:liboasis-ocaml-doc:allpiuparts-result:successfully-tested 0.4.6-1Version:0.4.6-1
Binary:oasispiuparts-result:successfully-tested 0.4.6-1Version:0.4.6-1
ocaml-atd in stretch
Source:ocaml-atdpiuparts summary:successVersion:1.1.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libatd-ocamlpiuparts-result:successfully-tested 1.1.2-1+b4Version:1.1.2-1+b4
Binary:libatd-ocaml-devpiuparts-result:successfully-tested 1.1.2-1+b4Version:1.1.2-1+b4
ocaml-benchmark in stretch
Source:ocaml-benchmarkpiuparts summary:successVersion:1.3-1
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-1+b1Version:1.3-1+b1
ocaml-extunix in stretch
Source:ocaml-extunixpiuparts summary:successVersion:0.1.3-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.3-1Version:0.1.3-1
Binary:libextunix-ocaml-devpiuparts-result:successfully-tested 0.1.3-1Version:0.1.3-1
ocaml-fileutils in stretch
Source:ocaml-fileutilspiuparts summary:successVersion:0.4.5-4
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Sylvain Le Gall <gildor@debian.org>, Hendrik Tews <hendrik@askra.de>
Binary:libfileutils-ocaml-devpiuparts-result:successfully-tested 0.4.5-4+b1Version:0.4.5-4+b1
otags in stretch
Source:otagspiuparts summary:successVersion:4.02.2-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Mike Furr <mfurr@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Hendrik Tews <hendrik@askra.de>
Binary:otagspiuparts-result:successfully-tested 4.02.2-2Version:4.02.2-2
ounit in stretch
Source:ounitpiuparts summary:successVersion:2.0.0-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>, Lifeng Sun <lifongsun@gmail.com>
Binary:libounit-ocaml-devpiuparts-result:successfully-tested 2.0.0-1+b1Version:2.0.0-1+b1
proofgeneral in stretch
Source:proofgeneralpiuparts summary:successVersion:4.4.1~pre170114-1
Maintainer:Hendrik Tews <hendrik@askra.de>
Binary:proofgeneral:allpiuparts-result:successfully-tested 4.4.1~pre170114-1Version:4.4.1~pre170114-1
Binary:proofgeneral-doc:allpiuparts-result:successfully-tested 4.4.1~pre170114-1Version:4.4.1~pre170114-1
prooftree in stretch
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-1Version:0.13-1
tophide in stretch
Source:tophidepiuparts summary:successVersion:1.0.3-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.3-1Version:1.0.3-1
uuidm in stretch
Source:uuidmpiuparts summary:successVersion:0.9.5-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.5-1+b3Version:0.9.5-1+b3
yojson in stretch
Source:yojsonpiuparts summary:successVersion:1.3.2-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Hendrik Tews <hendrik@askra.de>
Binary:libyojson-ocamlpiuparts-result:successfully-tested 1.3.2-1+b1Version:1.3.2-1+b1
Binary:libyojson-ocaml-devpiuparts-result:successfully-tested 1.3.2-1+b1Version:1.3.2-1+b1