Gentoo Archives: gentoo-commits

From: Agostino Sarubbo <ago@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/psmt2-frontend/
Date: Wed, 02 Mar 2022 09:04:49
Message-Id: 1646211882.bf1a25f73bc0b5fe1acc21c93253adca9f08ef95.ago@gentoo
1 commit: bf1a25f73bc0b5fe1acc21c93253adca9f08ef95
2 Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
3 AuthorDate: Wed Mar 2 09:04:42 2022 +0000
4 Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
5 CommitDate: Wed Mar 2 09:04:42 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bf1a25f7
7
8 sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375
9
10 Package-Manager: Portage-3.0.30, Repoman-3.0.3
11 RepoMan-Options: --include-arches="amd64"
12 Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
13
14 sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild | 4 ++--
15 1 file changed, 2 insertions(+), 2 deletions(-)
16
17 diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
18 index 4ff6c1c91532..804904c9a49b 100644
19 --- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
20 +++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
21 @@ -1,4 +1,4 @@
22 -# Copyright 2019-2021 Gentoo Authors
23 +# Copyright 2019-2022 Gentoo Authors
24 # Distributed under the terms of the GNU General Public License v2
25
26 EAPI=8
27 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.
28
29 LICENSE="Apache-2.0"
30 SLOT="0/${PV}"
31 -KEYWORDS="~amd64 ~x86"
32 +KEYWORDS="amd64 ~x86"
33 IUSE="+ocamlopt test"
34 RESTRICT="!test? ( test )"