Package: haskell-copilot-theorem

• 4.5-1 (main) [forky, sid]
• 4.3-1 (main) [trixie]
• 3.13-1 (main) [bookworm]