summary refs log tree commit diff
path: root/m4
diff options
context:
space:
mode:
authorGabriel Hondet <gabrielhondet@gmail.com>2018-12-25 16:31:10 +0100
committerJulien Lepiller <julien@lepiller.eu>2018-12-25 18:47:37 +0100
commit5895696e4c28938d9201e4527d3a007dd8b47e32 (patch)
treeccaae4c15f624f0fef4a30aea697e641f9a98f33 /m4
parentd8dcbcc91d066a48e585cdfb063b108778db1b37 (diff)
downloadguix-5895696e4c28938d9201e4527d3a007dd8b47e32.tar.gz
gnu: Add dedukti.
* gnu/packages/ocaml.scm (dedukti): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions