Debian logo Quality Assurance

dak ls

 coq-hierarchy-builder | 1.4.0-2    | bookworm | source
 coq-hierarchy-builder | 1.4.0-2+b6 | bookworm | amd64, arm64, i386, ppc64el
 coq-hierarchy-builder | 1.8.1-1    | trixie   | source
 coq-hierarchy-builder | 1.8.1-1    | sid      | source

in
Show: More options, help