diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2020-01-21 00:16:28 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2020-01-21 01:11:39 +0100 |
| commit | 2624921a64727d137505c6f104692d2b88845a98 (patch) | |
| tree | cf7e5ea9ff01bbf6d10585710a615c3df760c6e4 /gnu/packages/coq.scm | |
| parent | 2e038f36f80246ef623e22921baf3731f113a124 (diff) | |
| download | patches-2624921a64727d137505c6f104692d2b88845a98.tar patches-2624921a64727d137505c6f104692d2b88845a98.tar.gz | |
gnu: Add ocaml-mmap.
* gnu/packages/ocaml.scm (ocaml-mmap): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions