General information
About + News
Overview
FAQ
Source
piuparts.d.o bugs
piuparts bugs / ToDo
Contact us
Documentation
piuparts manpage
README
README_server
piuparts.d.o configuration:
piuparts.conf,
distros.conf
and scripts
How to file bugs
Debian policy
Available reports
Bugs filed
experimental
sid2experimental
sid
sid-strict
sid-nodoc
testing2sid
stable2sid
stable22sid
buster
buster-rcmd
stretch2buster
stretch2buster-rcmd
stretch2bpo2buster
stretch2bpo
stretch
stretch-rcmd
stretch-security
stretch-pu
stretch2proposed
oldstable222sid
oldstable22testing
jessie2stretch
jessie2Xstretch
jessie2stretch-rcmd
jessie2Xstretch-rcmd
jessie2bpo2stretch
jessie2bpo
jessie
jessie-rcmd
jessie-security
jessie-pu
jessie2proposed
wheezy2jessie
wheezy2jessie-rcmd
wheezy2bpo2jessie
wheezy2lts
wheezy
wheezy-security
wheezy-pu
squeeze2wheezy-lts
squeeze2wheezy
squeeze2bpo-sloppy
squeeze2bpo2wheezy
squeeze2squeeze-lts
squeeze
lenny2squeeze
by maintainer / uploader
by source package
Other Debian QA efforts
Debian QA Group
Dose tools (former: EDOS)
Lintian
Debian Package Tracker (former: PTS)
Ultimate Debian Database
jenkins.debian.net
ci.debian.net
Last update
2018-01-11 03:04 UTC
mt@debian.org in sid
other distributions: experimental sid2experimental sid-strict sid-nodoc testing2sid stable2sid stable22sid buster buster-rcmd stretch2buster stretch2buster-rcmd stretch2bpo2buster stretch2bpo stretch stretch-rcmd stretch-security stretch-pu stretch2proposed oldstable222sid oldstable22testing jessie2stretch jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie2bpo2stretch jessie2bpo jessie jessie-rcmd jessie-security jessie-pu jessie2proposed wheezy2jessie wheezy2jessie-rcmd wheezy2bpo2jessie wheezy2lts wheezy wheezy-security wheezy-pu squeeze2wheezy-lts squeeze2wheezy squeeze2bpo-sloppy squeeze2bpo2wheezy squeeze2squeeze-lts squeeze lenny2squeeze
fail:0 
unknown:0 
pass:17binutils-h8300-hms bmt boolector brickos cbmc clamav cloog cloog-ppl diagnostics gcc-h8300-hms kcov lnpd minisat2 picosat ppl sat4j z3
binutils-h8300-hms in sid
Source:binutils-h8300-hmspiuparts summary:successVersion:2.16.1-10
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:binutils-h8300-hmspiuparts-result:successfully-tested 2.16.1-10+b2Version:2.16.1-10+b2
bmt in sid
Source:bmtpiuparts summary:successVersion:0.6-1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:bmt:allpiuparts-result:successfully-tested 0.6-1Version:0.6-1
boolector in sid
Source:boolectorpiuparts summary:successVersion:1.5.118.6b56be4.121013-1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:boolectorpiuparts-result:successfully-tested 1.5.118.6b56be4.121013-1+b1Version:1.5.118.6b56be4.121013-1+b1
brickos in sid
Source:brickospiuparts summary:successVersion:0.9.0.dfsg-12.1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:brickospiuparts-result:successfully-tested 0.9.0.dfsg-12.1Version:0.9.0.dfsg-12.1
Binary:brickos-doc:allpiuparts-result:successfully-tested 0.9.0.dfsg-12.1Version:0.9.0.dfsg-12.1
cbmc in sid
Source:cbmcpiuparts summary:successVersion:5.6-1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:cbmcpiuparts-result:successfully-tested 5.6-1Version:5.6-1
clamav in sid
Source:clamavpiuparts summary:successVersion:0.99.3~beta2+dfsg-1
Maintainer:ClamAV Team <pkg-clamav-devel@lists.alioth.debian.org>
Uploaders:Michael Meskes <meskes@debian.org>, Michael Tautschnig <mt@debian.org>, Scott Kitterman <scott@kitterman.com>, Sebastian Andrzej Siewior <sebastian@breakpoint.cc>, Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com>
Binary:clamavpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-base:allpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-daemonpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-docs:allpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-freshclampiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-milterpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamav-testfiles:allpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:clamdscanpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:libclamav-devpiuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
Binary:libclamav7piuparts-result:successfully-tested 0.99.3~beta2+dfsg-1Version:0.99.3~beta2+dfsg-1
cloog in sid
Source:cloogpiuparts summary:successVersion:0.18.4-1
Maintainer:Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders:Matthias Klose <doko@debian.org>, Michael Tautschnig <mt@debian.org>
Binary:cloog-islpiuparts-result:successfully-tested 0.18.4-1+b1Version:0.18.4-1+b1
Binary:libcloog-isl-devpiuparts-result:successfully-tested 0.18.4-1+b1Version:0.18.4-1+b1
Binary:libcloog-isl4piuparts-result:successfully-tested 0.18.4-1+b1Version:0.18.4-1+b1
cloog-ppl in sid
Source:cloog-pplpiuparts summary:successVersion:0.16.1-8
Maintainer:Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders:Matthias Klose <doko@debian.org>, Michael Tautschnig <mt@debian.org>
Binary:cloog-pplpiuparts-result:successfully-tested 0.16.1-8Version:0.16.1-8
Binary:libcloog-ppl-devpiuparts-result:successfully-tested 0.16.1-8Version:0.16.1-8
Binary:libcloog-ppl1piuparts-result:successfully-tested 0.16.1-8Version:0.16.1-8
diagnostics in sid
Source:diagnosticspiuparts summary:successVersion:0.3.3-12
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:libdiagnostics-devpiuparts-result:successfully-tested 0.3.3-12+b1Version:0.3.3-12+b1
Binary:libdiagnostics0piuparts-result:successfully-tested 0.3.3-12+b1Version:0.3.3-12+b1
gcc-h8300-hms in sid
Source:gcc-h8300-hmspiuparts summary:successVersion:1:3.4.6+dfsg2-4
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:gcc-h8300-hmspiuparts-result:successfully-tested 1:3.4.6+dfsg2-4Version:1:3.4.6+dfsg2-4
kcov in sid
Source:kcovpiuparts summary:successVersion:25+dfsg-1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:kcovpiuparts-result:successfully-tested 11-1Version:11-1
lnpd in sid
Source:lnpdpiuparts summary:successVersion:0.9.0-11
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:lnpdpiuparts-result:successfully-tested 0.9.0-11+b2Version:0.9.0-11+b2
minisat2 in sid
Source:minisat2piuparts summary:successVersion:1:2.2.1-5
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:minisatpiuparts-result:successfully-tested 1:2.2.1-5+b3Version:1:2.2.1-5+b3
Binary:minisat2piuparts-result:successfully-tested 1:2.2.1-5+b3Version:1:2.2.1-5+b3
picosat in sid
Source:picosatpiuparts summary:successVersion:960-1
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:picosatpiuparts-result:successfully-tested 960-1+b2Version:960-1+b2
ppl in sid
Source:pplpiuparts summary:successVersion:1:1.2-2
Maintainer:Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Tobias Hansen <thansen@debian.org>, Michael Tautschnig <mt@debian.org>
Binary:libppl-c4piuparts-result:successfully-tested 1:1.2-2+b2Version:1:1.2-2+b2
Binary:libppl-devpiuparts-result:successfully-tested 1:1.2-2+b2Version:1:1.2-2+b2
Binary:libppl-doc:allpiuparts-result:successfully-tested 1:1.2-2Version:1:1.2-2
Binary:libppl-swipiuparts-result:successfully-tested 1:1.2-2+b2Version:1:1.2-2+b2
Binary:libppl14piuparts-result:successfully-tested 1:1.2-2+b2Version:1:1.2-2+b2
Binary:ppl-devpiuparts-result:successfully-tested 1:1.2-2+b2Version:1:1.2-2+b2
sat4j in sid
Source:sat4jpiuparts summary:successVersion:2.3.5-0.2
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:sat4j:allpiuparts-result:successfully-tested 2.3.5-0.2Version:2.3.5-0.2
z3 in sid
Source:z3piuparts summary:successVersion:4.4.1-0.3
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:libz3-4piuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:libz3-cilpiuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:libz3-devpiuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:libz3-javapiuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:libz3-jnipiuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:libz3-ocaml-devpiuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:python-z3piuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1
Binary:z3piuparts-result:successfully-tested 4.4.1-0.3+b1Version:4.4.1-0.3+b1