diff options
| author |   Sam James <sam@gentoo.org> | 2023-08-16 03:19:43 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2023-08-16 03:19:43 +0100 |
| commit | be552c8b84be7d0266658e5556b6adb1508552df (patch) | |
| tree | 344728bc83f1924fc9fb095d2b9b3cdd5174cc95 /sci-mathematics | |
| parent | dev-libs/libisoburn: Stabilize 1.5.6 ppc, #912231 (diff) | |
| download | gentoo-be552c8b84be7d0266658e5556b6adb1508552df.tar.gz gentoo-be552c8b84be7d0266658e5556b6adb1508552df.tar.bz2 gentoo-be552c8b84be7d0266658e5556b6adb1508552df.zip | |
sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild index 1ba42319bb6c..e06cf284f0e1 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild @@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then else SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi LICENSE="CeCILL-C" |