diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2021-10-11 10:09:36 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2021-10-11 10:09:36 +0200 |
| commit | fdaf2924b667511249722e8280ba6c132212c0e9 (patch) | |
| tree | 5472c26da3a2ee1a851404c6962d048a461c9570 /dev-ml | |
| parent | dev-ml/rresult: ppc stable wrt bug #817740 (diff) | |
| download | gentoo-fdaf2924b667511249722e8280ba6c132212c0e9.tar.gz gentoo-fdaf2924b667511249722e8280ba6c132212c0e9.tar.bz2 gentoo-fdaf2924b667511249722e8280ba6c132212c0e9.zip | |
dev-ml/seq: ppc stable wrt bug #817743
Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/seq/seq-0.2.2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/seq/seq-0.2.2.ebuild b/dev-ml/seq/seq-0.2.2.ebuild index 52b2b575aaaa..4b70335cf5b4 100644 --- a/dev-ml/seq/seq-0.2.2.ebuild +++ b/dev-ml/seq/seq-0.2.2.ebuild @@ -11,5 +11,5 @@ SRC_URI="https://github.com/c-cube/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="GPL-3" SLOT="0" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86" +KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 ~x86" IUSE="+ocamlopt" |