|
mt@debian.org in buster
|
| 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-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 |
| fail: | 0 | |
| unknown: | 0 | |
| pass: | 13 | binutils-h8300-hms bmt boolector brickos cbmc clamav gcc-h8300-hms lnpd minisat2 picosat ppl sat4j z3 |
| binutils-h8300-hms in buster |
| Source: | binutils-h8300-hms | piuparts summary: |  | Version: | 2.16.1-10 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | binutils-h8300-hms | piuparts-result: | successfully-tested 2.16.1-10+b2 | Version: | 2.16.1-10+b2 |
| bmt in buster |
| Source: | bmt | piuparts summary: | | Version: | 0.6-1 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | bmt:all | piuparts-result: | successfully-tested 0.6-1 | Version: | 0.6-1 |
| boolector in buster |
| Source: | boolector | piuparts summary: | | Version: | 1.5.118.6b56be4.121013-1 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | boolector | piuparts-result: | successfully-tested 1.5.118.6b56be4.121013-1+b1 | Version: | 1.5.118.6b56be4.121013-1+b1 |
| brickos in buster |
| Source: | brickos | piuparts summary: | | Version: | 0.9.0.dfsg-12.1 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | brickos | piuparts-result: | successfully-tested 0.9.0.dfsg-12.1 | Version: | 0.9.0.dfsg-12.1 |
| Binary: | brickos-doc:all | piuparts-result: | successfully-tested 0.9.0.dfsg-12.1 | Version: | 0.9.0.dfsg-12.1 |
| cbmc in buster |
| Source: | cbmc | piuparts summary: | | Version: | 5.10-5 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | cbmc | piuparts-result: | successfully-tested 5.10-5 | Version: | 5.10-5 |
| clamav in buster |
| Source: | clamav | piuparts summary: | | Version: | 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: | clamav | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-base:all | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-daemon | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-docs:all | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-freshclam | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-milter | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamav-testfiles:all | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | clamdscan | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | libclamav-dev | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| Binary: | libclamav9 | piuparts-result: | successfully-tested 0.103.6+dfsg-0+deb10u1 | Version: | 0.103.6+dfsg-0+deb10u1 |
| gcc-h8300-hms in buster |
| Source: | gcc-h8300-hms | piuparts summary: | | Version: | 1:3.4.6+dfsg2-4 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | gcc-h8300-hms | piuparts-result: | successfully-tested 1:3.4.6+dfsg2-4 | Version: | 1:3.4.6+dfsg2-4 |
| lnpd in buster |
| Source: | lnpd | piuparts summary: | | Version: | 0.9.0-11 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | lnpd | piuparts-result: | successfully-tested 0.9.0-11+b2 | Version: | 0.9.0-11+b2 |
| minisat2 in buster |
| Source: | minisat2 | piuparts summary: | | Version: | 1:2.2.1-5 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | minisat | piuparts-result: | successfully-tested 1:2.2.1-5+b3 | Version: | 1:2.2.1-5+b3 |
| Binary: | minisat2 | piuparts-result: | successfully-tested 1:2.2.1-5+b3 | Version: | 1:2.2.1-5+b3 |
| picosat in buster |
| Source: | picosat | piuparts summary: | | Version: | 960-1 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | picosat | piuparts-result: | successfully-tested 960-1+b2 | Version: | 960-1+b2 |
| ppl in buster |
| Source: | ppl | piuparts summary: | | Version: | 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-c4 | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| Binary: | libppl-dev | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| Binary: | libppl-doc:all | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| Binary: | libppl-swi | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| Binary: | libppl14 | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| Binary: | ppl-dev | piuparts-result: | successfully-tested 1:1.2-7 | Version: | 1:1.2-7 |
| sat4j in buster |
| Source: | sat4j | piuparts summary: | | Version: | 2.3.5-0.3 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | sat4j:all | piuparts-result: | successfully-tested 2.3.5-0.3 | Version: | 2.3.5-0.3 |
| z3 in buster |
| Source: | z3 | piuparts summary: | | Version: | 4.4.1-1~deb10u1 |
| Maintainer: | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org> |
| Binary: | libz3-4 | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | libz3-cil | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | libz3-dev | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | libz3-java | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | libz3-jni | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | libz3-ocaml-dev | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | python-z3 | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
| Binary: | z3 | piuparts-result: | successfully-tested 4.4.1-1~deb10u1 | Version: | 4.4.1-1~deb10u1 |
Quality Assurance
