diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-04 03:29:23 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-04 03:36:10 +0100 |
| commit | 0539348664c95ea43e2156585ecedcc306ce7513 (patch) | |
| tree | efc021ed525ee460104783114cbf538a92ec43e9 /sci-mathematics/lean | |
| parent | dev-python/ioflo: disable py3.10 (diff) | |
| download | gentoo-0539348664c95ea43e2156585ecedcc306ce7513.tar.gz gentoo-0539348664c95ea43e2156585ecedcc306ce7513.tar.bz2 gentoo-0539348664c95ea43e2156585ecedcc306ce7513.zip | |
sci-mathematics/lean: gmp slot
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean')
| -rw-r--r-- | sci-mathematics/lean/lean-3.35.1-r2.ebuild (renamed from sci-mathematics/lean/lean-3.35.1-r1.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/lean/lean-3.9999.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/lean/lean-3.35.1-r1.ebuild b/sci-mathematics/lean/lean-3.35.1-r2.ebuild index cc208dc27850..a15591b790f5 100644 --- a/sci-mathematics/lean/lean-3.35.1-r1.ebuild +++ b/sci-mathematics/lean/lean-3.35.1-r2.ebuild @@ -24,7 +24,7 @@ LICENSE="Apache-2.0" SLOT="0/${MAJOR}" IUSE="debug +json +threads" -RDEPEND="dev-libs/gmp" +RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" ) diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild index cc208dc27850..a15591b790f5 100644 --- a/sci-mathematics/lean/lean-3.9999.ebuild +++ b/sci-mathematics/lean/lean-3.9999.ebuild @@ -24,7 +24,7 @@ LICENSE="Apache-2.0" SLOT="0/${MAJOR}" IUSE="debug +json +threads" -RDEPEND="dev-libs/gmp" +RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" ) |