Status of hendrik@askra.de packages in oldstable22testing

hendrik@askra.de in oldstable22testing
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-rcmd buster-security buster-pu buster2next stretch2buster stretch2Xbuster stretch2buster-rcmd stretch2Xbuster-rcmd stretch2bpo2buster stretch2bpo stretch stretch-rcmd stretch-security stretch-pu stretch2next oldstable222sid jessie2stretch jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie-lts2stretch jessie2bpo2stretch jessie2bpo jessie2lts jessie jessie-rcmd jessie-security
fail:	0
unknown:	2	proofgeneral prooftree
pass:	4	easy-format hol-light otags uuidm
proofgeneral in oldstable22testing
Source:	proofgeneral	piuparts summary:	unknown	Version:	4.5-3
Maintainer:	Hendrik Tews <hendrik@askra.de>
Binary:	proofgeneral:all	piuparts-result:	dependency-failed-testing N/A	Version:	4.5-3 [cruft]
Binary:	proofgeneral-doc:all	piuparts-result:	successfully-tested 4.5-3	Version:	4.5-3 [cruft]
prooftree in oldstable22testing
Source:	prooftree	piuparts summary:	unknown	Version:	None
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	prooftree	piuparts-result:	dependency-failed-testing N/A	Version:	None [cruft]
easy-format in oldstable22testing
Source:	easy-format	piuparts summary:		Version:	1.3.4-3
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	libeasy-format-ocaml	piuparts-result:	successfully-tested 1.3.4-3+b2	Version:	1.3.4-3+b2 [cruft]
Binary:	libeasy-format-ocaml-dev	piuparts-result:	successfully-tested 1.3.4-3+b2	Version:	1.3.4-3+b2 [cruft]
hol-light in oldstable22testing
Source:	hol-light	piuparts summary:		Version:	1:3.0.0-2
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	hol-light	piuparts-result:	successfully-tested 1:3.0.0-2	Version:	1:3.0.0-2 [cruft]
otags in oldstable22testing
Source:	otags	piuparts summary:		Version:	None
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Mehdi Dogguy <mehdi@debian.org>, Hendrik Tews <hendrik@askra.de>
Binary:	otags	piuparts-result:	successfully-tested None	Version:	None [cruft]
uuidm in oldstable22testing
Source:	uuidm	piuparts summary:		Version:	0.9.9-1
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	libuuidm-ocaml-dev	piuparts-result:	successfully-tested 0.9.9-1	Version:	0.9.9-1 [cruft]

Quality Assurance