Delete /coq/93564
File only
Pass