Debian logo Quality Assurance

dak ls

 coq-doc | 8.2pl1-1 | squeeze/non-free | source, all
 coq-doc | 8.3pl4-1 | wheezy/non-free  | source, all
 coq-doc | 8.4pl4-1 | jessie/non-free  | source, all
 coq-doc | 8.4pl4-2 | stretch/non-free | source, all
 coq-doc | 8.6-1    | sid/non-free     | source, all

in
Show: More options, help