Debian logo Quality Assurance

dak ls

 coq-math-classes | 8.15.0-4 | bookworm     | source
 coq-math-classes | 8.19.0-1 | trixie       | source
 coq-math-classes | 8.19.0-1 | forky        | source
 coq-math-classes | 8.19.0-1 | sid          | source
 coq-math-classes | 9.0.0-1  | experimental | source

in
Show: More options, help