diff options
| author | Garek Dyszel <garekdyszel@disroot.org> | 2022-09-07 14:33:00 -0400 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-24 20:24:37 +0200 |
| commit | 8371ad64083970f68c8e1dd5f04b1f10d9cf029d (patch) | |
| tree | c04a27dec3433b7b1374a8bc792721b9aeda8c01 /gnu/packages/coq.scm | |
| parent | fc07082fe3d750c85282c4aa57d01a36ebe9296b (diff) | |
gnu: Add ocaml-ansiterminal.
* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions