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