(executable
  (name elpi_REPL)
  (public_name elpi)
  (libraries elpi)
  (modules elpi_REPL)
)

(vendored_dirs vendor)
