diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 45d44caf3c6..5885722e561 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.16.1
-revision=2
+version=8.17.1
+revision=1
 hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
 short_desc="Proof assistant written in OCaml"
@@ -9,7 +9,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b
+checksum=724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6
 nopie=yes
 nocross=yes
 
@@ -22,11 +22,8 @@ post_patch() {
 	vsed -i -e 's/which/command -v/g' dev/tools/make_git_revision.sh
 }
 
-do_configure() {
-	./configure -prefix /usr -coqide no
-}
-
 do_build() {
+	make dunestrap
 	dune build --display=short -p coq-core,coq-stdlib
 }