Delete /coq/94643
File only
Pass