Debian logo Quality Assurance

dak ls

 coq-float | 1:8.2-1.2-5 | squeeze | source
 coq-float | 1:8.3pl1-4  | wheezy  | source
 coq-float | 1:8.4-4     | jessie  | source
 coq-float | 1:8.4-5     | sid     | source

in
Show: More options, help