Deleting /coq/93988