diff options
| author | Mark H Weaver <mhw@netris.org> | 2015-05-30 16:07:19 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2015-06-05 00:58:53 -0400 |
| commit | 1973183b636441a6ddb4d7dd4cb202796561bf32 (patch) | |
| tree | 9de9c4746b71818ae5e6a62dd30863b053e80eac /AUTHORS | |
| parent | c058f4eca2cb17496cdcf1b1c755a04b9ab4b423 (diff) | |
| download | gnu-guix-1973183b636441a6ddb4d7dd4cb202796561bf32.tar gnu-guix-1973183b636441a6ddb4d7dd4cb202796561bf32.tar.gz | |
gnu: Add coq.
* gnu/packages/ocaml.scm (coq): New variable.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions