diff options
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 |