From 869dfb4fb44f901db1622f4d86d583f297d91456 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?N=C3=A9mo=20Fournier?= <nemo@epicea.xyz>
Date: Thu, 2 Nov 2017 12:14:00 +0100
Subject: [PATCH] coq: update to 8.7.0.

---
 srcpkgs/coq/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 4accd72d439..c5052096ae8 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.6.1
+version=8.7.0
 revision=1
-hostmakedepends="ocaml ocaml-findlib camlp4"
+hostmakedepends="ocaml ocaml-findlib camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Némo Fournier <nemo@epicea.xyz>"
 license="LGPL-2.1"
 homepage="https://coq.inria.fr"
 distfiles="${homepage}/distrib/V${version}/files/${pkgname}-${version}.tar.gz"
-checksum=32f8aa92853483dec18030def9f0857a708fee56cf4287e39c9a260f08138f9d
+checksum=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297
 nopie=yes
 nocross=yes