summary refs log tree commit diff
path: root/etc/substitutes
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-01-06 01:32:09 -0600
committerBrett Gilio <brettg@gnu.org>2020-01-06 21:02:34 -0600
commit1ac40045029aacc2d360f4bd24d716c1306a54e8 (patch)
treed614eb775003d715edcf771fc2056ec0d311967d /etc/substitutes
parentd977e243644c3ce6c6e7dc682b09ae409fcd8077 (diff)
downloadguix-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 'etc/substitutes')
0 files changed, 0 insertions, 0 deletions