From 77267608d493ac3b6181252361a4e30fd307eba0 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Mon, 21 Jan 2019 15:38:16 +0100
Subject: [PATCH] coq: update to 8.9.0.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 89ea1c35cb6..5ebe0bba49e 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,5 +1,5 @@
 pkgname=coq
-version=8.8.2
+version=8.9.0
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
@@ -7,7 +7,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044
+checksum=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0
 nopie=yes
 nocross=yes