Status of mt@debian.org packages in bullseye2next

mt@debian.org in bullseye2next
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 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:	13	binutils-h8300-hms bmt boolector brickos cbmc clamav diagnostics gcc-h8300-hms lnpd minisat2 picosat ppl sat4j
binutils-h8300-hms in bullseye2next
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 bullseye2next
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 bullseye2next
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 bullseye2next
Source:	brickos	piuparts summary:		Version:	0.9.0.dfsg-12.2
Maintainer:	Michael Tautschnig <mt@debian.org>
Binary:	brickos	piuparts-result:	successfully-tested 0.9.0.dfsg-12.2	Version:	0.9.0.dfsg-12.2
Binary:	brickos-doc:all	piuparts-result:	successfully-tested 0.9.0.dfsg-12.2	Version:	0.9.0.dfsg-12.2
cbmc in bullseye2next
Source:	cbmc	piuparts summary:		Version:	5.12-5
Maintainer:	Michael Tautschnig <mt@debian.org>
Binary:	cbmc	piuparts-result:	successfully-tested 5.12-5	Version:	5.12-5
clamav in bullseye2next
Source:	clamav	piuparts summary:		Version:	1.0.7+dfsg-1~deb11u2
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.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-base:all	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-daemon	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-docs:all	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-freshclam	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-milter	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamav-testfiles:all	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	clamdscan	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	libclamav-dev	piuparts-result:	successfully-tested 1.0.7+dfsg-1~deb11u2	Version:	1.0.7+dfsg-1~deb11u2 [cruft]
Binary:	libclamav9	piuparts-result:	successfully-tested 0.103.10+dfsg-0+deb11u1	Version:	0.103.10+dfsg-0+deb11u1 [cruft]
diagnostics in bullseye2next
Source:	diagnostics	piuparts summary:		Version:	0.3.3-12.1
Maintainer:	Michael Tautschnig <mt@debian.org>
Binary:	libdiagnostics-dev	piuparts-result:	successfully-tested 0.3.3-12.1	Version:	0.3.3-12.1
Binary:	libdiagnostics0	piuparts-result:	successfully-tested 0.3.3-12.1	Version:	0.3.3-12.1
gcc-h8300-hms in bullseye2next
Source:	gcc-h8300-hms	piuparts summary:		Version:	1:3.4.6+dfsg2-4.1
Maintainer:	Michael Tautschnig <mt@debian.org>
Binary:	gcc-h8300-hms	piuparts-result:	successfully-tested 1:3.4.6+dfsg2-4.1	Version:	1:3.4.6+dfsg2-4.1
lnpd in bullseye2next
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 bullseye2next
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 bullseye2next
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 bullseye2next
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	Version:	1:1.2-8.1
Binary:	libppl-dev	piuparts-result:	successfully-tested 1:1.2-8.1	Version:	1:1.2-8.1
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	Version:	1:1.2-8.1
Binary:	libppl14	piuparts-result:	successfully-tested 1:1.2-8.1	Version:	1:1.2-8.1
Binary:	ppl-dev	piuparts-result:	successfully-tested 1:1.2-8.1	Version:	1:1.2-8.1
sat4j in bullseye2next
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

Quality Assurance