aboutsummaryrefslogtreecommitdiff
path: root/config-daemon.ac
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-10-21 18:05:11 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-10-22 10:21:22 +0200
commitdbfb1a596ae75554fd9bc3f9ff5024789e790091 (patch)
treebe8661f692222accb6600859d8d8328029e09bc7 /config-daemon.ac
parent3ffd180cc5284f8ee3c61073593347fbb042fe58 (diff)
downloadguix-dbfb1a596ae75554fd9bc3f9ff5024789e790091.tar.gz
guix-dbfb1a596ae75554fd9bc3f9ff5024789e790091.zip
gnu: Add coq-bignums.
* gnu/packages/ocaml.scm (coq-bignums): New variable.
Diffstat (limited to 'config-daemon.ac')
0 files changed, 0 insertions, 0 deletions