diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/async_kernel/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/async_kernel/async_kernel-0.15.0.ebuild | 18 |
2 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/async_kernel/Manifest b/dev-ml/async_kernel/Manifest index 9139e31de62e..86cbc5e94c3e 100644 --- a/dev-ml/async_kernel/Manifest +++ b/dev-ml/async_kernel/Manifest @@ -1 +1,2 @@ DIST async_kernel-0.14.0.tar.gz 138191 BLAKE2B 0f8096eb1cfabcdb4b3148f8d2cb3d5f8c858da74986ac107e7592195dab6e6563c0adb8f39f22a8d3b279b994c937e345b6c56d03a5767672913c7316ecd1fb SHA512 9324f17527311e3c112203b7caa2b0b7dfea15bdb30d02d7218c7b8d8c930d4893d83043016ad064265cedc191985400dbaf2d0af448f840c98ef98326aac8ff +DIST async_kernel-0.15.0.tar.gz 148527 BLAKE2B 535a64a204332bcc41e6c4ef5ff78fa81ec785bb29404b278ba93e093452354b045aacde98b0f2e6598bcd5fe29a86ee476f2f48f018c69acb7d217d4ba9a60b SHA512 35bf6561b0dfcfd1bfd786de9f47a78deee5718fb449de648f9b1cfd2568c00cd7044b33dce12ce48d1ed704e61fefe3f2d2b1681c9f73c6fced0aefb0423b63 diff --git a/dev-ml/async_kernel/async_kernel-0.15.0.ebuild b/dev-ml/async_kernel/async_kernel-0.15.0.ebuild new file mode 100644 index 000000000000..133ca6500abd --- /dev/null +++ b/dev-ml/async_kernel/async_kernel-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=8 + +inherit dune + +DESCRIPTION="Jane Street Capital's asynchronous execution library (core)" +HOMEPAGE="https://github.com/janestreet/async_kernel" +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 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +RDEPEND="dev-ml/core_kernel:${SLOT}" +DEPEND="${RDEPEND}" |