Downgraded lein because of the repl bug