diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/jane-street-headers | |
parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-ml/jane-street-headers')
-rw-r--r-- | dev-ml/jane-street-headers/Manifest | 4 | ||||
-rw-r--r-- | dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild | 18 | ||||
-rw-r--r-- | dev-ml/jane-street-headers/metadata.xml | 4 |
3 files changed, 25 insertions, 1 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest index 697c6353e2fc..868d4acbd390 100644 --- a/dev-ml/jane-street-headers/Manifest +++ b/dev-ml/jane-street-headers/Manifest @@ -1,3 +1,5 @@ DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879 +DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f EBUILD jane-street-headers-0.14.0.ebuild 436 BLAKE2B f1576098956bb5dbf9e67b6a55da33a311814e3343a373cb97d655151e6b498ad239552ec945c8c0d92f12ff92ba17f9680626f933b4d0d8faa8b5986758b29f SHA512 c315641766c79ca15b2ee1c25e949b96fb7c151962c3ad02f9f0c5ba36d910333340ad16d3015ddceaab55ebd749705ce4c7e781a093b67276f223c949edbbab -MISC metadata.xml 340 BLAKE2B d16dc95f619069e77748d692cae7fa92379d1e1dd5c4b28463ab499c35c0cf1912b46971636f91c090a874b02d3887c9a1de778f1d8516f0d86af904599b6ba3 SHA512 3448243ebaf6b7d5251e599fbf9d278c39743eddb9e5edd3853e69bc735558c6890d79f64ed27d954c09fbac38345dd4dd9c719f21478dc2888b9d736012b7c1 +EBUILD jane-street-headers-0.15.0.ebuild 442 BLAKE2B e235c0b4f147a07c8476f58411e950269cb096b8dd560bdb9f2566d5f91e3ad75de07150bdd3887a40396113b620d4134466fbadc1bb479b6cd8dcba36e0986f SHA512 d06a724171f9b3821e0d7d243348e70c73afda3388a8f11cee68aabddb4796ac711cbb65ca25838ece1b33f0b5f873eab6e4a8e22bb7c5483e3723dbc95fc0c3 +MISC metadata.xml 433 BLAKE2B 7c7ca49386645d46dea571a508c221aa901bf6a68093e301159355d49c4b050a7927c08398cc8d9dc347dec60a0a1af5ffcfdd7a097a1084d969d11260f4b9b7 SHA512 14fe6143cedbf4c65c9e55a6395fcff15f5d9c877b8d511a32c9fd4ad7c878153fe1d74c957bc23d87e3ee3e8edb5553fbdb938986eb18cca23eb8e28bbd2af8 diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild new file mode 100644 index 000000000000..9a59ce4395d8 --- /dev/null +++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild @@ -0,0 +1,18 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Jane Street header files" +HOMEPAGE="https://github.com/janestreet/jane-street-headers" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND="" +RDEPEND="${DEPEND}" diff --git a/dev-ml/jane-street-headers/metadata.xml b/dev-ml/jane-street-headers/metadata.xml index d94a2d2b18fa..bc36aeca7853 100644 --- a/dev-ml/jane-street-headers/metadata.xml +++ b/dev-ml/jane-street-headers/metadata.xml @@ -1,6 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <maintainer type="person"> <email>gienah@gentoo.org</email> <name>Mark Wright</name> |