diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-06 01:32:09 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-06 21:02:34 -0600 |
| commit | 1ac40045029aacc2d360f4bd24d716c1306a54e8 (patch) | |
| tree | d614eb775003d715edcf771fc2056ec0d311967d /gnu/build | |
| parent | d977e243644c3ce6c6e7dc682b09ae409fcd8077 (diff) | |
| download | guix-1ac40045029aacc2d360f4bd24d716c1306a54e8.tar.gz | |
gnu: coq: Update to 8.10.2.
* gnu/packages/coq.scm (coq): Update to 8.10.2. [inputs]: Replace lablgtk with lablgtk3. [arguments]: Remove remove-lablgtk-references phase, as it no longer appears to be necessary.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions