clayrat/coq-foata not found