Deleting /coq/93750