diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-06 20:57:28 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-06 20:57:28 -0600 |
| commit | d977e243644c3ce6c6e7dc682b09ae409fcd8077 (patch) | |
| tree | 69e7f336a0f6b0e183c93c63da43a305cf8f8958 /gnu/packages/coq.scm | |
| parent | 136919ba4976ec20bbfbd14587e87c4780653226 (diff) | |
| download | patches-d977e243644c3ce6c6e7dc682b09ae409fcd8077.tar patches-d977e243644c3ce6c6e7dc682b09ae409fcd8077.tar.gz | |
gnu: Add lablgtk3.
* gnu/packages/ocaml.scm (lablgtk3): New variable.
Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions