Debian logo Quality Assurance

dak ls

 coq-simple-io | 1.8.0-2  | bookworm     | source
 coq-simple-io | 1.11.0-1 | trixie       | source
 coq-simple-io | 1.11.0-1 | forky        | source
 coq-simple-io | 1.11.0-1 | sid          | source
 coq-simple-io | 1.11.0-2 | experimental | source
 coq-simple-io | 1.11.0-3 | experimental | source

in
Show: More options, help