diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-06-21 21:38:42 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-07-29 15:18:54 +0200 |
| commit | 88191acee23ce304c25da623efe56ff011831f3c (patch) | |
| tree | 1a5073ec58289dedb2b1881cec7e9926dfb47625 /Makefile.am | |
| parent | d163d97d92f3abea98f4b36d55ac3bb9db23d423 (diff) | |
| download | guix-88191acee23ce304c25da623efe56ff011831f3c.tar.gz | |
gnu: Add coq-gappa.
* gnu/packages/ocaml.scm (coq-gappa): New variable.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions