diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index d69848b9254..2b35f0c6575 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 pkgname=coq
 version=8.9.1
-revision=2
+revision=3
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"