Merge proposals

coq-relation-algebra in Ubuntu has no merge proposals.