diff options
author | Agostino Sarubbo <ago@gentoo.org> | 2022-03-02 10:04:42 +0100 |
---|---|---|
committer | Agostino Sarubbo <ago@gentoo.org> | 2022-03-02 10:04:42 +0100 |
commit | bf1a25f73bc0b5fe1acc21c93253adca9f08ef95 (patch) | |
tree | 551770e14358dc58c77347514687ccb766cbb923 /sci-mathematics | |
parent | sci-mathematics/alt-ergo: amd64 stable wrt bug #834375 (diff) | |
download | gentoo-bf1a25f73bc0b5fe1acc21c93253adca9f08ef95.tar.gz gentoo-bf1a25f73bc0b5fe1acc21c93253adca9f08ef95.tar.bz2 gentoo-bf1a25f73bc0b5fe1acc21c93253adca9f08ef95.zip |
sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375
Package-Manager: Portage-3.0.30, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild index 4ff6c1c91532..804904c9a49b 100644 --- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild +++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 2019-2021 Gentoo Authors +# Copyright 2019-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}. LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="+ocamlopt test" RESTRICT="!test? ( test )" |