Prepare upload to unstable
Prepare upload to unstable

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