Debian logo Quality Assurance

dak ls

 dh-coq | 0.5  | bookworm | source, all
 dh-coq | 0.14 | trixie   | source, all
 dh-coq | 0.14 | sid      | source, all

in
Show: More options, help