We don't want --fail-missing
We don't want --fail-missing

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