[bug#70567] [PATCH 5/7] gnu: why3: Enable extra features.

[Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>]

* 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
---
 gnu/packages/maths.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 57f750accc..9bf2f64cbb 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9428,9 +9428,15 @@ (define-public why3
                          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
-- 
2.41.0