(executable
 (name repl)
 (public_name leibniz-repl)
 (libraries leibniz))