Debian logo Quality Assurance

dak ls

 coq-unicoq | 1.6-8.16-2 | bookworm     | source
 coq-unicoq | 1.6-8.20-1 | trixie       | source
 coq-unicoq | 1.6-8.20-1 | forky        | source
 coq-unicoq | 1.6-8.20-1 | sid          | source
 coq-unicoq | 1.6-8.20-3 | experimental | source

in
Show: More options, help