diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 6dd58abe095..6e06e3c79f0 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.7.0
-revision=2
+version=8.7.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="${homepage}/distrib/V${version}/files/${pkgname}-${version}.tar.gz"
-checksum=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297
+checksum=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03
 nopie=yes
 nocross=yes