Merge proposals

curry-tools in Ubuntu has no merge proposals.