Deleting /coq/94066
Pass