Debian logo Quality Assurance

dak ls

 paramcoq | 1.1.3+coq8.16-3 | bookworm | source
 paramcoq | 1.1.3+coq8.19-2 | trixie   | source
 paramcoq | 1.1.3+coq8.19-2 | sid      | source

in
Show: More options, help