Deleting /coq/94342
Pass
File only