Debian logo Quality Assurance

dak ls

 coq-ext-lib | 0.11.7-2 | bookworm | source
 coq-ext-lib | 0.12.1-2 | trixie   | source
 coq-ext-lib | 0.12.2-1 | sid      | source

in
Show: More options, help