diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-07-05 17:52:03 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-07-31 23:06:12 +0200 |
| commit | 3589c1755602b3315b112c9a04789e7934b07a7d (patch) | |
| tree | 3664993b54748e84b53265d00d3c99001130d174 /gnu/packages/coq.scm | |
| parent | 96707d5a309d083b1a9bf1f0c8fc1251cf203337 (diff) | |
gnu: lablgtk3: Install with version information.
This is required so recent versions of coq can check version
requirements.
* gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added
to the META file.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions