/results_ocaml-lambda-term/
/*.rpm
/lambda-term-*.tar.gz