Deleting /coq/94672
Pass
File only