summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2019-10-21 20:29:41 +0200
committerTupone Alfredo <tupone@gentoo.org>2019-10-21 20:29:41 +0200
commit058cedbfb3da3d26ec61856e346d2ad93c09c28d (patch)
tree5ec7939dd88731a0592e823412f15f61e34bfdee /sci-mathematics
parentdev-ml/menhir: Stable version (diff)
downloadgentoo-058cedbfb3da3d26ec61856e346d2ad93c09c28d.tar.gz
gentoo-058cedbfb3da3d26ec61856e346d2ad93c09c28d.tar.bz2
gentoo-058cedbfb3da3d26ec61856e346d2ad93c09c28d.zip
sci-mathematics/psmt2-frontend: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
index 4e0ada140fe7..c8f1ac2d19d1 100644
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE=""
DEPEND=">=dev-ml/menhir-20181006"