diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/utop | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/utop')
| -rw-r--r-- | dev-ml/utop/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/utop/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/utop/utop-2.0.1.ebuild | 27 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest new file mode 100644 index 000000000000..42f9ffdf5beb --- /dev/null +++ b/dev-ml/utop/Manifest @@ -0,0 +1,5 @@ +DIST utop-2.0.1.tar.gz 57523 SHA256 5a93793a3a33724716bdb8e6829eaa85a792c5f5939eb86f5d8bbf1df85f42ec SHA512 66e7858a44ddd038f08073f9530c790f3ad44134899793c9f5e689d0e1786d2e2751bf38c6be33979292942b00dd6ff2db421025e12f49e05c4a694df36d23e3 WHIRLPOOL bfb06654e52f124739eeeb1568157d6377f8749eddaaf5c0761056da5754a486f9db0f89a21d60c1030be88400bd1cf5782c58337421c56412ea8b5b7631ed9f +EBUILD utop-2.0.1.ebuild 588 SHA256 3dbe89eddbed600f4e4cb6d4cc263e7b9bf1e9249da074970d6c224f146aab0a SHA512 ba49f9b62385eae14d00d0924bc475ce578e6aa97d90343aee7cf99cbb3cd3e3ca5ed011cd46287d560458d75e2ea5d175d24b6567a70f2c89dabc69999e2fa9 WHIRLPOOL f4c1ef170c721d17e56b1946d4eb3dc3783d8abdae947915273fe3b8faef82ce4ffc3ef747573bc04ddd169a691c257b9d5baf35c4628f77a70ddc16fb4d19ca +MISC ChangeLog 5976 SHA256 1e66a9c82971aac85b6f5efa16baa04c839a7318463fc59412dae270b799572e SHA512 aef14a15dae4a4eae8bb2ae200160577d058a2ce8e6edf449e0afeaa83896d480b15aef1a7a1948a496a2995535edc99085a732364504d7d30bb1906bf320984 WHIRLPOOL 6e5d3cc7e82d7e5bbace5eee618019ddac3d14f8b839412f416b26358ac2454010a3a768f7d3fe81f99803baacc0b22aa93f44d5bd7d3cdede3d1300e1237e1d +MISC ChangeLog-2015 1676 SHA256 d25b4091d7749a21ba1b972f36e141db6cf3669498f7cfea87ccb933094812ca SHA512 a91be60288a7db4ca88555d4ef10f306f24c70e1583d4075acf29007949596acd9cc1ee9dc49147788791db4c314994e590655a3cd0bec2f20d144e5ceeee6d9 WHIRLPOOL d132ef6eadb4e37b0ef3de52d06a4aeb3315599ad40bf1975e70d974bbd80abacea845fd77b4bab28a6f16e1b730d4cc98ed0b6a52b7b7f3fcca19d71a03935d +MISC metadata.xml 331 SHA256 98c53147f1d5f3e11f9da30d4a06f56cc96322c22ac7da594843df0a5285a177 SHA512 bab98a112599f61029b06f241f3c14315b88924ce88fe0caf7efe4061338628800f72a6844b3d9a2314f29ca07754775f5a512f84dd39629766b95169829ac89 WHIRLPOOL e9ce6c4c13b85fec78660004aa4e1e30b5e1cec43b345faee9ff4a5fa3fdfce3fa64c9a3df11e271b6e2eeb6a57977b1353c7a8d6c7ea9478852af936135c248 diff --git a/dev-ml/utop/metadata.xml b/dev-ml/utop/metadata.xml new file mode 100644 index 000000000000..7c8000acfe72 --- /dev/null +++ b/dev-ml/utop/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">diml/utop</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/utop/utop-2.0.1.ebuild b/dev-ml/utop/utop-2.0.1.ebuild new file mode 100644 index 000000000000..f2f8f4b5d056 --- /dev/null +++ b/dev-ml/utop/utop-2.0.1.ebuild @@ -0,0 +1,27 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +inherit findlib opam + +DESCRIPTION="A new toplevel for OCaml with completion and colorization" +HOMEPAGE="https://github.com/diml/utop" +SRC_URI="https://github.com/diml/utop/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + >=dev-ml/lwt-2.4.0:= + dev-ml/lwt_react:= + >=dev-ml/lambda-term-1.2:= + >=dev-ml/zed-1.2:= + >=dev-ml/cppo-1.0.1:= + >=dev-ml/findlib-1.7.2:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} + dev-ml/jbuilder" |