Merge proposals

coq-extructures in Ubuntu has no merge proposals.