Merge proposals

coq-hierarchy-builder in Ubuntu has no merge proposals.