aboutsummaryrefslogtreecommitdiff
path: root/HACKING
diff options
context:
space:
mode:
authorDan Frumin <dfrumin@cs.ru.nl>2019-02-03 16:14:12 +0100
committerJulien Lepiller <julien@lepiller.eu>2019-02-07 22:30:32 +0100
commit7d60df330aa165982abd31c8483651788fdf49b9 (patch)
treec7a996ba591c1c4d08052c467e6853dc229c8aa3 /HACKING
parentd5240bc09d3f060de219b5f1a1cc0410ba4c9f36 (diff)
downloadpatches-7d60df330aa165982abd31c8483651788fdf49b9.tar
patches-7d60df330aa165982abd31c8483651788fdf49b9.tar.gz
gnu: Add coq-autosubst
* gnu/packages/coq.scm (coq-autosubst): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions