diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 29fb3eb73f5..95685736447 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.11.0
+version=8.11.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=eea101eff5217dba6d11a8eb13033ed62acb4ee8a64d5cb15fd142e7fc5dc248
+checksum=994c9f5e0b1493c1682946f6154ef8853c9ddeb614902a7fa8403a3650d5377a
 nopie=yes
 nocross=yes