aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2017-06-21 21:38:42 +0200
committerJulien Lepiller <julien@lepiller.eu>2017-07-29 15:18:54 +0200
commit88191acee23ce304c25da623efe56ff011831f3c (patch)
tree1a5073ec58289dedb2b1881cec7e9926dfb47625 /release.nix
parentd163d97d92f3abea98f4b36d55ac3bb9db23d423 (diff)
downloadguix-88191acee23ce304c25da623efe56ff011831f3c.tar
guix-88191acee23ce304c25da623efe56ff011831f3c.tar.gz
gnu: Add coq-gappa.
* gnu/packages/ocaml.scm (coq-gappa): New variable.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions