Status of hendrik@askra.de packages in bullseye

hendrik@askra.de in bullseye
other distributions:	experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid forky forky-rcmd trixie trixie-rcmd trixie-security trixie-pu trixie2next bookworm bookworm-rcmd bookworm-security bookworm-pu bookworm2next bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid oldstable222sid oldstable22testing
fail:	0
unknown:	0
pass:	6	easy-format hol-light otags proofgeneral prooftree uuidm
easy-format in bullseye
Source:	easy-format	piuparts summary:		Version:	1.3.2-1
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.2-1+b1	Version:	1.3.2-1+b1
Binary:	libeasy-format-ocaml-dev	piuparts-result:	successfully-tested 1.3.2-1+b1	Version:	1.3.2-1+b1
hol-light in bullseye
Source:	hol-light	piuparts summary:		Version:	20190729-4
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	hol-light	piuparts-result:	successfully-tested 20190729-4+b3	Version:	20190729-4+b3
otags in bullseye
Source:	otags	piuparts summary:		Version:	4.05.1-2
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 4.05.1-2+b2	Version:	4.05.1-2+b2
proofgeneral in bullseye
Source:	proofgeneral	piuparts summary:		Version:	4.4.1~pre170114-1.2
Maintainer:	Hendrik Tews <hendrik@askra.de>
Binary:	proofgeneral:all	piuparts-result:	successfully-tested 4.4.1~pre170114-1.2	Version:	4.4.1~pre170114-1.2
Binary:	proofgeneral-doc:all	piuparts-result:	successfully-tested 4.4.1~pre170114-1.2	Version:	4.4.1~pre170114-1.2
prooftree in bullseye
Source:	prooftree	piuparts summary:		Version:	0.13-2
Maintainer:	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:	Hendrik Tews <hendrik@askra.de>
Binary:	prooftree	piuparts-result:	successfully-tested 0.13-2+b1	Version:	0.13-2+b1
uuidm in bullseye
Source:	uuidm	piuparts summary:		Version:	0.9.7-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.7-1+b1	Version:	0.9.7-1+b1

Quality Assurance