diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-15 17:01:35 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 17:21:32 +0200 |
| commit | b31a49cb5ea036a9869f3c2cd40d0f8b99af01f9 (patch) | |
| tree | 41deb8d831569e7888601ffc09d83ef8c5734c94 /gnu/packages/maths.scm | |
| parent | e6413c6f517f450c9c4cdfb4362b0c7ca75323db (diff) | |
| download | guix-b31a49cb5ea036a9869f3c2cd40d0f8b99af01f9.tar.gz guix-b31a49cb5ea036a9869f3c2cd40d0f8b99af01f9.zip | |
gnu: why3: Enable extra features.
* gnu/packages/maths.scm (why3) <propagated-inputs>: Add
ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to
enable extra features.
Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1e10d4caa8..9a37b681e9 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9525,9 +9525,15 @@ numeric differences and differences in numeric formats.") ocaml-findlib which)) (propagated-inputs (list camlzip + lablgtk3 ocaml-graph + ocaml-lablgtk3-sourceview3 ocaml-menhir + ocaml-ppx-deriving + ocaml-ppx-sexp-conv ocaml-num + ocaml-re + ocaml-sexplib ocaml-zarith)) (inputs (list coq-flocq emacs-minimal |