leiningen spec