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: buster-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
trixie
trixie-rcmd
bookworm
bookworm-rcmd
bookworm-security
bookworm-pu
bookworm2next
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
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
2024-12-30 18:10 UTC
mt@debian.org in buster-rcmd
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid trixie trixie-rcmd bookworm bookworm-rcmd bookworm-security bookworm-pu bookworm2next bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid buster 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
fail:0 
unknown:0 
pass:13binutils-h8300-hms bmt boolector brickos cbmc clamav gcc-h8300-hms lnpd minisat2 picosat ppl sat4j z3
binutils-h8300-hms in buster-rcmd
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 buster-rcmd
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 buster-rcmd
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 buster-rcmd
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 buster-rcmd
Source:cbmcpiuparts summary:successVersion:5.10-5
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:cbmcpiuparts-result:successfully-tested 5.10-5Version:5.10-5
clamav in buster-rcmd
Source:clamavpiuparts summary:successVersion:0.103.6+dfsg-0+deb10u1
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.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-base:allpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-daemonpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-docs:allpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-freshclampiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-milterpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamav-testfiles:allpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:clamdscanpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:libclamav-devpiuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
Binary:libclamav9piuparts-result:successfully-tested 0.103.6+dfsg-0+deb10u1Version:0.103.6+dfsg-0+deb10u1
gcc-h8300-hms in buster-rcmd
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
lnpd in buster-rcmd
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 buster-rcmd
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 buster-rcmd
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 buster-rcmd
Source:pplpiuparts summary:successVersion:1:1.2-7
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-7Version:1:1.2-7
Binary:libppl-devpiuparts-result:successfully-tested 1:1.2-7Version:1:1.2-7
Binary:libppl-doc:allpiuparts-result:successfully-tested 1:1.2-7Version:1:1.2-7
Binary:libppl-swipiuparts-result:successfully-tested 1:1.2-7Version:1:1.2-7
Binary:libppl14piuparts-result:successfully-tested 1:1.2-7Version:1:1.2-7
Binary:ppl-devpiuparts-result:successfully-tested 1:1.2-7Version:1:1.2-7
sat4j in buster-rcmd
Source:sat4jpiuparts summary:successVersion:2.3.5-0.3
Maintainer:Michael Tautschnig <mt@debian.org>
Binary:sat4j:allpiuparts-result:successfully-tested 2.3.5-0.3Version:2.3.5-0.3
z3 in buster-rcmd
Source:z3piuparts summary:successVersion:4.4.1-1~deb10u1
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Michael Tautschnig <mt@debian.org>
Binary:libz3-4piuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:libz3-cilpiuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:libz3-devpiuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:libz3-javapiuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:libz3-jnipiuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:libz3-ocaml-devpiuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:python-z3piuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1
Binary:z3piuparts-result:successfully-tested 4.4.1-1~deb10u1Version:4.4.1-1~deb10u1