Deleting /coq/93750
Pass
File only