diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 4accd72d439..c5052096ae8 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,13 @@
 pkgname=coq
-version=8.6.1
+version=8.7.0
 revision=1
-hostmakedepends="ocaml ocaml-findlib camlp4"
+hostmakedepends="ocaml ocaml-findlib 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=32f8aa92853483dec18030def9f0857a708fee56cf4287e39c9a260f08138f9d
+checksum=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297
 nopie=yes
 nocross=yes