diff options
| author | Mark H Weaver <[email protected]> | 2015-05-30 16:07:19 -0400 |
|---|---|---|
| committer | Mark H Weaver <[email protected]> | 2015-06-05 00:58:53 -0400 |
| commit | 1973183b636441a6ddb4d7dd4cb202796561bf32 (patch) | |
| tree | 9de9c4746b71818ae5e6a62dd30863b053e80eac /gnu/packages/patches/abiword-link-plugins-against-backend.patch | |
| parent | c058f4eca2cb17496cdcf1b1c755a04b9ab4b423 (diff) | |
gnu: Add coq.
* gnu/packages/ocaml.scm (coq): New variable.
Diffstat (limited to 'gnu/packages/patches/abiword-link-plugins-against-backend.patch')
0 files changed, 0 insertions, 0 deletions