Camlp4 -> Camlp5 in package descriptions
Camlp4 -> Camlp5 in package descriptions

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