diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
index 91ed692404..fe157ddf86 100644
--- a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
+++ b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
@@ -5,14 +5,13 @@ EAPI=8
 
 inherit dune
 
-COQ_MIN_V=8.19
-COQ_MAX_V=8.20
+COQ_V=8.19
 
 DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
 HOMEPAGE="https://github.com/ejgallego/coq-lsp"
-SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_MIN_V}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz"
 
-S="${WORKDIR}/${P}-${COQ_MIN_V}"
+S="${WORKDIR}/${P}-${COQ_V}"
 
 LICENSE="LGPL-2.1"
 
@@ -24,7 +23,7 @@ IUSE="ocamlopt test"
 RESTRICT="!test? ( test )"
 
 RDEPEND="
-	>=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:=
+	=sci-mathematics/coq-${COQ_V}*:=
 	sci-mathematics/coq-serapi:=
 
 	dev-ml/cmdliner:=