|
mt@debian.org in sid
|
| other distributions: | experimental sid2experimental 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 |
| fail: | 0 | |
| unknown: | 0 | |
| pass: | 12 | binutils-h8300-hms bmt boolector brickos cbmc clamav diagnostics gcc-h8300-hms minisat2 picosat ppl sat4j |
| binutils-h8300-hms in sid |
| Source: | binutils-h8300-hms | piuparts summary: |  | Version: | 2.16.1-11 |
| Maintainer: | Debian LEGO Team <debian-lego-team@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org>, Nicolas Schodet <nico@ni.fr.eu.org>, |
| Binary: | binutils-h8300-hms | piuparts-result: | successfully-tested 2.16.1-11 | Version: | 2.16.1-11 |
| bmt in sid |
| Source: | bmt | piuparts summary: | | Version: | 0.6-1.1 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | bmt:all | piuparts-result: | successfully-tested 0.6-1.1 | Version: | 0.6-1.1 |
| boolector in sid |
| Source: | boolector | piuparts summary: | | Version: | 1.5.118.6b56be4.121013-1.3 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | boolector | piuparts-result: | successfully-tested 1.5.118.6b56be4.121013-1.3 | Version: | 1.5.118.6b56be4.121013-1.3 |
| brickos in sid |
| Source: | brickos | piuparts summary: | | Version: | 0.9.0.dfsg-13 |
| Maintainer: | Debian LEGO Team <debian-lego-team@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org> |
| Binary: | brickos | piuparts-result: | successfully-tested 0.9.0.dfsg-13 | Version: | 0.9.0.dfsg-13 |
| Binary: | brickos-doc:all | piuparts-result: | successfully-tested 0.9.0.dfsg-13 | Version: | 0.9.0.dfsg-13 |
| cbmc in sid |
| Source: | cbmc | piuparts summary: | | Version: | 6.4.1-2 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | cbmc | piuparts-result: | successfully-tested 6.4.1-2 | Version: | 6.4.1-2 |
| Binary: | jbmc | piuparts-result: | successfully-tested 6.4.1-2 | Version: | 6.4.1-2 |
| clamav in sid |
| Source: | clamav | piuparts summary: | | Version: | 1.4.2+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: | clamav | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-base:all | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-daemon | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-doc:all | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-docs:all | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-freshclam | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-milter | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamav-testfiles:all | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | clamdscan | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | libclamav-dev | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| Binary: | libclamav12 | piuparts-result: | successfully-tested 1.4.2+dfsg-1 | Version: | 1.4.2+dfsg-1 |
| diagnostics in sid |
| Source: | diagnostics | piuparts summary: | | Version: | 0.3.3-12.4 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | libdiagnostics-dev | piuparts-result: | successfully-tested 0.3.3-12.4+b4 | Version: | 0.3.3-12.4+b4 |
| Binary: | libdiagnostics0t64 | piuparts-result: | successfully-tested 0.3.3-12.4+b4 | Version: | 0.3.3-12.4+b4 |
| gcc-h8300-hms in sid |
| Source: | gcc-h8300-hms | piuparts summary: | | Version: | 1:3.4.6+dfsg2-5 |
| Maintainer: | Debian LEGO Team <debian-lego-team@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org>, Nicolas Schodet <nico@ni.fr.eu.org>, |
| Binary: | gcc-h8300-hms | piuparts-result: | successfully-tested 1:3.4.6+dfsg2-5 | Version: | 1:3.4.6+dfsg2-5 |
| minisat2 in sid |
| Source: | minisat2 | piuparts summary: | | Version: | 1:2.2.1-8 |
| Maintainer: | Michael Tautschnig <mt@debian.org> |
| Binary: | minisat | piuparts-result: | successfully-tested 1:2.2.1-8 | Version: | 1:2.2.1-8 |
| picosat in sid |
| Source: | picosat | piuparts summary: | | Version: | 965-2 |
| Maintainer: | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org>, Nilesh Patra <npatra974@gmail.com> |
| Binary: | picosat | piuparts-result: | successfully-tested 965-2 | Version: | 965-2 |
| ppl in sid |
| Source: | ppl | piuparts summary: | | Version: | 1:1.2-8.1 |
| 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-8.1+b3 | Version: | 1:1.2-8.1+b3 |
| Binary: | libppl-dev | piuparts-result: | successfully-tested 1:1.2-8.1+b3 | Version: | 1:1.2-8.1+b3 |
| Binary: | libppl-doc:all | piuparts-result: | successfully-tested 1:1.2-8.1 | Version: | 1:1.2-8.1 |
| Binary: | libppl-swi | piuparts-result: | successfully-tested 1:1.2-8.1+b3 | Version: | 1:1.2-8.1+b3 |
| Binary: | libppl14 | piuparts-result: | successfully-tested 1:1.2-8.1+b3 | Version: | 1:1.2-8.1+b3 |
| Binary: | ppl-dev | piuparts-result: | successfully-tested 1:1.2-8.1+b3 | Version: | 1:1.2-8.1+b3 |
| sat4j in sid |
| Source: | sat4j | piuparts summary: | | Version: | 2.3.6-1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Michael Tautschnig <mt@debian.org> |
| Binary: | sat4j:all | piuparts-result: | successfully-tested 2.3.6-1 | Version: | 2.3.6-1 |
Quality Assurance
