4 lines
75 B
Text
4 lines
75 B
Text
(executable
|
|
(name repl)
|
|
(public_name leibniz-repl)
|
|
(libraries leibniz))
|