Debian logo Quality Assurance

dak ls

 haskell-copilot-theorem | 3.13-1 | bookworm | source
 haskell-copilot-theorem | 4.0-2  | trixie   | source
 haskell-copilot-theorem | 4.0-2  | sid      | source

in
Show: More options, help