Delete /coq/417458
File only
Pass