diff options
| author | Mike Gerwitz <[email protected]> | 2021-04-15 21:24:26 -0400 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2021-05-05 16:56:45 +0200 |
| commit | 674b4bd1a611f55be401c53e065359ae6e9dec54 (patch) | |
| tree | cfbba8559856a129150a06d546dd4519efeb5482 /gnu/packages/patches/tla2tools-build-xml.patch | |
| parent | 1700dfefbe17efd759569e3907f7739ee71b0e8d (diff) | |
gnu: Add java-jline-reader.
This package is part of JLine 3.
* gnu/packages/java.scm (java-jline-reader): New variable.
Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/packages/patches/tla2tools-build-xml.patch')
0 files changed, 0 insertions, 0 deletions