Status of hendrik@askra.de packages in sid-strict

hendrik@askra.de in sid-strict
other distributions:	experimental sid2experimental sid 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 bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid oldstable222sid oldstable22testing
fail:	0
unknown:	0
pass:	2	easy-format hol-light
easy-format in sid-strict
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+b4	Version:	1.3.4-3+b4
Binary:	libeasy-format-ocaml-dev	piuparts-result:	successfully-tested 1.3.4-3+b4	Version:	1.3.4-3+b4
hol-light in sid-strict
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+b8	Version:	1:3.0.0-2+b8

Quality Assurance