forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dev-ml/capitalization: new package, add 0.17.0
Signed-off-by: Alfredo Tupone <[email protected]>
- Loading branch information
Showing
4 changed files
with
37 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
DIST capitalization-0.17.0.tar.gz 5267 BLAKE2B 3245c2faf1616957745aa54590f59a4934032b17577da7f4c1d14314259df43cc719edcfd4ddf1b3db68a93da36d62cc01f0b1b44fdc0371611ec43f1c8d1156 SHA512 eec8ad41b31dd761c174b1d97032fba0305a0b82509927b1bbefe119a67b5b0660e0d45fc035a456a52852a9fdaccd6e4f2ce0447c593ee4c93afe7b52179f8c |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
# Copyright 1999-2024 Gentoo Authors | ||
# Distributed under the terms of the GNU General Public License v2 | ||
|
||
EAPI=8 | ||
|
||
inherit dune | ||
|
||
DESCRIPTION="Defines case conventions and functions to rename identifiers according to them" | ||
HOMEPAGE="https://github.com/janestreet/capitalization" | ||
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" | ||
|
||
LICENSE="MIT" | ||
SLOT="0/$(ver_cut 1-2)" | ||
KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64" | ||
IUSE="+ocamlopt" | ||
|
||
RDEPEND=" | ||
>=dev-lang/ocaml-5 | ||
dev-ml/base:${SLOT}[ocamlopt?] | ||
dev-ml/ppx_base:${SLOT}[ocamlopt?] | ||
>=dev-ml/ppxlib-0.32.1:=[ocamlopt?] | ||
" | ||
DEPEND="${RDEPEND}" | ||
BDEPEND=">=dev-ml/dune-3.11" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
<?xml version="1.0" encoding="UTF-8"?> | ||
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> | ||
<pkgmetadata> | ||
<maintainer type="project"> | ||
<email>[email protected]</email> | ||
<name>ML</name> | ||
</maintainer> | ||
<upstream> | ||
<remote-id type="github">janestreet/capitalization</remote-id> | ||
</upstream> | ||
</pkgmetadata> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -259,6 +259,7 @@ dev-ml/ppx_ignore_instrumentation:0/0.17 | |
dev-ml/typerep:0/0.17 | ||
dev-ml/ppx_typerep_conv:0/0.17 | ||
dev-ml/ppx_tydi:0/0.17 | ||
dev-ml/capitalization:0/0.17 | ||
|
||
# Arthur Zamarin <[email protected]> (2024-06-08) | ||
# EAPI=6, waiting for a version bump, not maintained for many years. | ||
|