diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 2b35f0c657..9b7ba6bd9b 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,13 +1,14 @@
+# Template file for 'coq'
 pkgname=coq
-version=8.9.1
-revision=3
+version=8.10.0
+revision=1
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
-license="LGPL-2.1"
+license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea
+checksum=292c64162620c4c4825c323c1c71762d764ebc9ce39bd8eee900851eaca655f5
 nopie=yes
 nocross=yes