diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-09-19 19:30:33 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-22 07:33:56 +0200 |
| commit | 728d5b6b0684727e8f1611d3e0f9cc293dd395d2 (patch) | |
| tree | e4c7a43fe2b1e60793e71ae92fa0b223cdb689f4 /gnu/packages/coq.scm | |
| parent | 33d4992b69bfed2ec6b15b7b842599efb1cb1e31 (diff) | |
gnu: Add ocaml-lablgtk3-sourceview3.
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions