diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index c5052096ae8..6dd58abe095 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 pkgname=coq
 version=8.7.0
-revision=1
-hostmakedepends="ocaml ocaml-findlib camlp5"
+revision=2
+hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Némo Fournier <nemo@epicea.xyz>"
 license="LGPL-2.1"