Deleting /coq/94560