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    | forky        | source
 coq-hierarchy-builder | 1.8.1-1    | sid          | source
 coq-hierarchy-builder | 1.10.1-2   | experimental | source

in
Show: More options, help