diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-10-08 13:23:37 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-10-28 00:25:59 +0200 |
| commit | a8c69e22ee2f9e7b487ffe0b567297f28863128d (patch) | |
| tree | 432e820a78523af50c194027e2d6a062e6d423ba /gnu/local.mk | |
| parent | e2ce7fc73d7333003f04f2dd7f7fc989db254721 (diff) | |
| download | guix-a8c69e22ee2f9e7b487ffe0b567297f28863128d.tar.gz | |
gnu: Add ocaml-z3.
* gnu/packages/maths.scm (ocaml-z3): New variable.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions