diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 6e06e3c79f0..e9085bfd8a2 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,5 +1,5 @@
 pkgname=coq
-version=8.7.1
+version=8.7.2
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
@@ -7,7 +7,7 @@ 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=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03
+checksum=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2
 nopie=yes
 nocross=yes