From 9a03293e6e5ae1b66814dd6f9558db358f0af302 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sun, 5 Nov 2017 17:19:03 +0100
Subject: [PATCH] coq: rebuild for ocaml-4.06.0.

---
 srcpkgs/coq/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"