coq-lint.sh 494 Bytes