diff options
| author |   Michael Weber <xmw@gentoo.org> | 2017-04-05 11:35:03 +0200 |
|---|---|---|
| committer | Michael Weber <xmw@gentoo.org> | 2017-04-05 11:51:09 +0200 |
| commit | e877607758bad0a5ce0c02c09b7e11597baa68ec (patch) | |
| tree | 1a4c202c324dde407f37b3176ce497a489dd6c5f /dev-ml/dose3 | |
| parent | dev-ml/parmap: add ~ppc (bug 527318). (diff) | |
| download | gentoo-e877607758bad0a5ce0c02c09b7e11597baa68ec.tar.gz gentoo-e877607758bad0a5ce0c02c09b7e11597baa68ec.tar.bz2 gentoo-e877607758bad0a5ce0c02c09b7e11597baa68ec.zip | |
dev-ml/dose3: add ~ppc (bug 527318).
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="ppc"
Diffstat (limited to 'dev-ml/dose3')
| -rw-r--r-- | dev-ml/dose3/dose3-5.0.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/dose3/dose3-5.0.1.ebuild b/dev-ml/dose3/dose3-5.0.1.ebuild index 6e8861ad30f6..1a701191a9eb 100644 --- a/dev-ml/dose3/dose3-5.0.1.ebuild +++ b/dev-ml/dose3/dose3-5.0.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2016 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -12,7 +12,7 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/file/36063/${P}.tar.gz" LICENSE="LGPL-3" SLOT="0/${PV}" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~ppc" IUSE="+ocamlopt parmap zip bzip2 xml curl rpm4 test" RDEPEND=" |