Diff jane-street-headers-0.14.0 with a jane-street-headers-0.15.0-r1
| /usr/portage/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild 2023-10-09 14:52:29.788368358 +0300 | ||
|---|---|---|
| 1 | 1 |
# Copyright 1999-2023 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 |
| 7 | 7 | |
| ... | ... | |
| 10 | 10 |
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
|
| 11 | 11 | |
| 12 | 12 |
LICENSE="Apache-2.0" |
| 13 |
SLOT="0/${PV}"
|
|
| 13 |
SLOT="0/$(ver_cut 1-2)" |
|
| 14 | 14 |
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" |
| 15 | 15 |
IUSE="+ocamlopt" |