diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
| commit | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch) | |
| tree | e48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/incremental | |
| parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/incremental')
| -rw-r--r-- | dev-ml/incremental/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/incremental/incremental-0.9.0.ebuild | 32 | ||||
| -rw-r--r-- | dev-ml/incremental/metadata.xml | 11 |
3 files changed, 0 insertions, 46 deletions
diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest deleted file mode 100644 index fab5dc27165b..000000000000 --- a/dev-ml/incremental/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST incremental-0.9.0.tar.gz 28822 BLAKE2B 0e369107c545e427609397d9d887a6d0eb295c222efa78fdd288bdf4e72000a79f49f3e40cacd593514f57dd94bfeaf23f2cb3fbecaee7bc09f3ede37165e3df SHA512 126b76e31920c56958b6c15319b636b5b5ea8bba56b8fab85c2b6fb2c3a4527b4759a05d0edfe3462e94e6348d7391e2578e82d35b160e31e6c88495c828f612 -EBUILD incremental-0.9.0.ebuild 747 BLAKE2B 114146f3645acf6c1c38e6aa1709a3ef433857b163931d637c60c42f5d777f0b043e08e03332d3dfa5229d554aae93646a1c537d37411d655404175c36b554ae SHA512 2f6eed60bc0e055aa020c6cb998663e31a2152386c630266ca76f6b119892914cfcd17d3832dd75665ba8b172bda255f49219083620bc4a1e286388a49e5983f -MISC metadata.xml 334 BLAKE2B 6a31b530584abfa0cb44ac983c7f7342fada246a83259de5483cd5a34e652e13ef73a0d7b421a9a9cce3a56104c78a1951891ee145c8fd51230d38624891eeda SHA512 eb887e2f503198daf9e74c9b8321826dcc97bb98f51202b9a82ed0375427e639cc13a9f4b5f024007225e78065adaaa58d099a85e7b77ccc0b8b77bebb3a80b2 diff --git a/dev-ml/incremental/incremental-0.9.0.ebuild b/dev-ml/incremental/incremental-0.9.0.ebuild deleted file mode 100644 index 9137fce7860c..000000000000 --- a/dev-ml/incremental/incremental-0.9.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -DESCRIPTION="Library for incremental computations" -HOMEPAGE="https://github.com/janestreet/incremental" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=" - dev-lang/ocaml:= - dev-ml/core:= - dev-ml/incremental_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder" - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${PN}.install || die -} diff --git a/dev-ml/incremental/metadata.xml b/dev-ml/incremental/metadata.xml deleted file mode 100644 index a9552f869fb0..000000000000 --- a/dev-ml/incremental/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?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">janestreet/incremental</remote-id> - </upstream> -</pkgmetadata> |