scrub-obsolete Package - coq

No unpublished successful runs for coq.