diff options
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 |