Delete /coq/94849
File only
Pass