Deleting /coq/93992
Pass