Deleting /coq/93697
Pass