diff options
Diffstat (limited to 'dev-ml/spawn')
| -rw-r--r-- | dev-ml/spawn/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/spawn/spawn-0.13.0.ebuild | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/spawn/Manifest b/dev-ml/spawn/Manifest index 1b2617d0cb7a..19da0534e914 100644 --- a/dev-ml/spawn/Manifest +++ b/dev-ml/spawn/Manifest @@ -1 +1,2 @@ +DIST spawn-0.13.0.tar.gz 13048 BLAKE2B f64815c99b3ee7a0e4a18c33012df658e57d7973101ced83aa509c2dfa6455b59b110cc61477da0750305fb8b81ed4a1436a6a7418313185644ea531745a80da SHA512 897ffec4a4c15c819e4429f6b71427005d6b40df6039e6c7f0b1ca4b4e35b24304dc56e27ce88bd81f5b61f936444f5d6e80ea14483991067aa6ee072f4a90dc DIST spawn-0.9.0.tar.gz 12689 BLAKE2B cc07c3be778b32465e78789638c5d46169d17882058a6c441b37b95c6a291cd5291af8ef1e9d48aa996cd35acddc343159d7da959136df5f84ffea4e1fb7d028 SHA512 29d8e3477d5f90bfa4d2ad874b870a9ea7e140507050e0d1d7e851af75fbd61e5ab64218a0ce00cae8a38ee8675e8ebca1faee009dfe57b8ca8f130a1b46e8c9 diff --git a/dev-ml/spawn/spawn-0.13.0.ebuild b/dev-ml/spawn/spawn-0.13.0.ebuild new file mode 100644 index 000000000000..3fc4dbd5f3bf --- /dev/null +++ b/dev-ml/spawn/spawn-0.13.0.ebuild @@ -0,0 +1,15 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Spawning sub-processes" +HOMEPAGE="https://github.com/janestreet/spawn" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" |