Deleting /coq/94422
Pass
File only