Diff dune-3.7.0 with a dune-3.7.1
/usr/portage/dev-ml/dune/dune-3.7.1.ebuild 2023-10-09 14:52:29.788368358 +0300 | ||
---|---|---|
11 | 11 | |
12 | 12 |
LICENSE="MIT" |
13 | 13 |
SLOT="0/${PV}" |
14 |
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" |
|
14 |
KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" |
|
15 | 15 |
IUSE="emacs" |
16 | 16 |
RESTRICT="strip test" |
17 | 17 |