diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index a994063d254..d79c3fd261a 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 # Template file for 'coq'
 pkgname=coq
 version=8.19.2
-revision=1
+revision=2
 hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
 checkdepends="python3 rsync time"
@@ -33,7 +33,7 @@ do_build() {
 }
 
 do_install() {
-	dune install coq-core coq-stdlib --prefix=/usr --destdir="$DESTDIR" \
+	dune install coq-core coq-stdlib coqide-server --prefix=/usr --destdir="$DESTDIR" \
 		--mandir=/usr/share/man --docdir=/usr/share/doc
 }