diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index d2b7d10d4f6..acda032b347 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.8.0
-revision=2
+version=8.8.1
+revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num 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="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d
+checksum=c852fef30f511135993bc9dbed299849663d0096a72bf0797a133f86deda9e8d
 nopie=yes
 nocross=yes