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.7.0-2    | trixie   | source
 coq-hierarchy-builder | 1.7.0-2    | sid      | source

in
Show: More options, help