diff options
Diffstat (limited to 'sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild')
| -rw-r--r-- | sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index fec89b781e85..7ccb37804477 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -3,6 +3,8 @@ EAPI=8 +COQ_MIN_V=8.16.0 + DESCRIPTION="Mathematical Components for the Coq proof assistant" HOMEPAGE="https://github.com/math-comp/math-comp/" SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz @@ -14,7 +16,7 @@ SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= dev-lang/ocaml:= - >=sci-mathematics/coq-8.16.0:= " DEPEND="${RDEPEND}" |