Deleting /coq/94720
Pass