diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-09-07 13:56:59 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-09-07 14:17:44 +0200 |
| commit | 10130c0f4c9b16f6eebcb4d44319e7035937891e (patch) | |
| tree | 3567a8e362ddbf0e286635150e43a7cc3178ed81 /sci-mathematics | |
| parent | dev-ml/ocaml-ssl: add missing alcotest (test) dependency (diff) | |
| download | gentoo-10130c0f4c9b16f6eebcb4d44319e7035937891e.tar.gz gentoo-10130c0f4c9b16f6eebcb4d44319e7035937891e.tar.bz2 gentoo-10130c0f4c9b16f6eebcb4d44319e7035937891e.zip | |
sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0
Closes: https://bugs.gentoo.org/869053
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild (renamed from sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild index 2197f1aa5dd9..fcf362d97248 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild @@ -13,7 +13,7 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.13.0:=" +RDEPEND=">=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:=" DEPEND="${RDEPEND}" # > make jobserver unavailable |