Deleting /coq/94270
Pass
File only