Delete /coq/93586
File only
Pass