futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: why3: Enable extra features.

Browse Source 
* 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>
This commit is contained in:
Jean-Pierre De Jesus DIAZ 2024-05-15 17:01:35 +02:00 committed by Andreas Enge
parent e6413c6f51
commit b31a49cb5e
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gnu/packages/maths.scm
View File

@ -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