Delete /coq/94529
File only
Pass