Debian logo Quality Assurance

dak ls

 coq-ext-lib | 0.11.7-2 | bookworm     | source
 coq-ext-lib | 0.13.0-1 | trixie       | source
 coq-ext-lib | 0.13.0-1 | forky        | source
 coq-ext-lib | 0.13.0-1 | sid          | source
 coq-ext-lib | 0.13.0-2 | experimental | source

in
Show: More options, help