Diff dune-site-2.9.3 with a dune-site-3.0.3
| /usr/portage/dev-ml/dune-site/dune-site-3.0.3.ebuild 2023-10-09 14:52:29.788368358 +0300 | ||
|---|---|---|
| 1 |
# Copyright 1999-2023 Gentoo Authors |
|
| 1 |
# Copyright 1999-2022 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 |
EAPI=7 |
|
| 4 |
EAPI=8 |
|
| 5 | 5 | |
| 6 | 6 |
inherit dune multiprocessing |
| 7 | 7 | |
| ... | ... | |
| 12 | 12 | |
| 13 | 13 |
LICENSE="MIT" |
| 14 | 14 |
SLOT="0/${PV}"
|
| 15 |
KEYWORDS="amd64 arm ppc64 x86" |
|
| 15 |
KEYWORDS="~amd64 ~x86" |
|
| 16 | 16 |
IUSE="+ocamlopt" |
| 17 | 17 |
RESTRICT="test" |
| 18 | 18 | |