Deleting /coq/94222
Pass
File only