We only need to call check since world depends on it.
We only need to call check since world depends on it.

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