[bug#33079] [PATCH 12/34] gnu: coq: Fix build failure.

[Julien Lepiller]

* gnu/packages/ocam.scm (coq)[inputs]: Add ocaml-num.
---
 gnu/packages/ocaml.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 604726c7b..8cb27a73a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -623,7 +623,8 @@ the OCaml core distribution.")
     (inputs
      `(("lablgtk" ,lablgtk)
        ("python" ,python-2)
-       ("camlp5" ,camlp5)))
+       ("camlp5" ,camlp5)
+       ("ocaml-num" ,ocaml-num)))
     (arguments
      `(#:phases
        (modify-phases %standard-phases
-- 
2.18.0