Gentoo Archives: gentoo-commits

From: Sam James <sam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
Date: Mon, 30 Jan 2023 13:09:53
Message-Id: 1675084173.324271e7906d2a0e87cadfb01105830e41cecc83.sam@gentoo
1 commit: 324271e7906d2a0e87cadfb01105830e41cecc83
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Mon Jan 30 13:09:33 2023 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Mon Jan 30 13:09:33 2023 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=324271e7
7
8 sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271
9
10 Signed-off-by: Sam James <sam <AT> gentoo.org>
11
12 sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild | 4 ++--
13 1 file changed, 2 insertions(+), 2 deletions(-)
14
15 diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
16 index 581b8c28a604..907c2da6676b 100644
17 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
18 +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
19 @@ -1,4 +1,4 @@
20 -# Copyright 1999-2022 Gentoo Authors
21 +# Copyright 1999-2023 Gentoo Authors
22 # Distributed under the terms of the GNU General Public License v2
23
24 EAPI=8
25 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
26
27 LICENSE="CeCILL-C"
28 SLOT="0/${PV}"
29 -KEYWORDS="~amd64"
30 +KEYWORDS="amd64"
31 IUSE="examples gui +ocamlopt"
32 REQUIRED_USE="ocamlopt"