diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 89ea1c35cb6..5ebe0bba49e 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,5 +1,5 @@
 pkgname=coq
-version=8.8.2
+version=8.9.0
 revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
@@ -7,7 +7,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044
+checksum=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0
 nopie=yes
 nocross=yes