Merge proposals

haskell-copilot-theorem in Ubuntu has no merge proposals.