Delete /coq/93578
File only
Pass