diff options
Diffstat (limited to 'dev-ml/incremental')
| -rw-r--r-- | dev-ml/incremental/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/incremental/incremental-113.00.00.ebuild | 28 |
2 files changed, 29 insertions, 0 deletions
diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest index 892ab670d200..f22615253db8 100644 --- a/dev-ml/incremental/Manifest +++ b/dev-ml/incremental/Manifest @@ -1 +1,2 @@ DIST incremental-112.35.00.tar.gz 129690 SHA256 4d2d962f99d8d0e7fb5d02e0165be0c3a7cf361ea0e17231a525310f2a277918 SHA512 a181e6e90e8d490722342a7c81d93cdc48d2aa38aecb346334cd726ef5d413fabc324a0b86f4e3adbeda6123f5789595d424a01f93872da791019e9c7561ca1e WHIRLPOOL ceccd1ee76f6369330c2a465bebc3cac9f831e840627eda5fcbe6708f123a1dbcf5da437b83eb6bc049d50aad2aedff58c130f48c7be5f68290d0e7b327a9ff1 +DIST incremental-113.00.00.tar.gz 129740 SHA256 ac7cc5c2f08574408cc8786009973260b3303f16cef3f4c9780c1ac951c16bf3 SHA512 fd2e02405b595c71990f55067086b49f6198f9c87077d7c4a2f546900ee46c96c8c8422827f46efae837eafa474d400c7e55b506a5958a7dfd8d6c1bc7b12294 WHIRLPOOL ea71eb638aa34ac20c18cae3503321737603ef7ffd4e7760e6b873b21b975b04bb33b73d56a2a692dbd68c9001a10069d72041d7733406642aa2284f60f08e2c diff --git a/dev-ml/incremental/incremental-113.00.00.ebuild b/dev-ml/incremental/incremental-113.00.00.ebuild new file mode 100644 index 000000000000..8c9913dbd500 --- /dev/null +++ b/dev-ml/incremental/incremental-113.00.00.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Library for incremental computations" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-ml/core:= + dev-ml/fieldslib:= + dev-ml/pa_ounit:= + dev-ml/pa_test:= + dev-ml/sexplib:= +" +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${MY_P}" |