proof-ninja/coq-scaml not found