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