Merge proposals

coq-libhyps in Ubuntu has no merge proposals.