From 5e4804bb44b2b09b26dfd4192f6fe3c4c4beccb2 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Mon, 16 Jul 2018 14:52:28 +0200
Subject: [PATCH] coq: rebuild for ocaml-4.07.0.

---
 srcpkgs/coq/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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