From 33f6935888256c8ac486693acc80d44a487240ae Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Wed, 10 Oct 2018 14:57:21 +0200
Subject: [PATCH] coq: update to 8.8.2.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index acda032b347..89ea1c35cb6 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.8.1
+version=8.8.2
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
-maintainer="Némo Fournier <nemo@epicea.xyz>"
+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=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d
+checksum=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044
 nopie=yes
 nocross=yes