From 2cf7d85d422dc12999958ef63284ecf12b5e9767 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 26 Oct 2019 21:31:46 +0200
Subject: [PATCH] coq: update to 8.10.1.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 9b7ba6bd9b9..d23a7634d39 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.10.0
+version=8.10.1
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
@@ -8,7 +8,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=292c64162620c4c4825c323c1c71762d764ebc9ce39bd8eee900851eaca655f5
+checksum=f8eb889c4974b89db1303b22382b2de4116ede1db673afefc67e3abff8955612
 nopie=yes
 nocross=yes