Debian logo Quality Assurance

dak ls

 coq-hierarchy-builder | 1.3.0-2    | bookworm | source
 coq-hierarchy-builder | 1.3.0-2    | sid      | source
 coq-hierarchy-builder | 1.3.0-2+b2 | bookworm | amd64, arm64, armhf, i386, ppc64el
 coq-hierarchy-builder | 1.3.0-2+b2 | sid      | amd64, arm64, armhf, i386, ppc64el

in
Show: More options, help