Deleting /coq/93567
Pass