proofgeneral-coq has been dropped in favour of proofgeneral
proofgeneral-coq has been dropped in favour of proofgeneral

ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging-precise