diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-03-15 00:53:27 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-03-15 01:25:40 +0100 |
| commit | 5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87 (patch) | |
| tree | 6cf79bf1ef1b282b39641c8028392db0ff15808e /sci-mathematics/coq-mathcomp | |
| parent | dev-lang/elpi: new package; add 1.16.9 (diff) | |
| download | gentoo-5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87.tar.gz gentoo-5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87.tar.bz2 gentoo-5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87.zip | |
sci-mathematics/coq-mathcomp: introduce COQ_MIN_V
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-mathcomp')
| -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}" |