Deleting /coq/94020
Pass
File only