From 21435953e16cda318a82334ddbadb3b5c36d9ea7 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Wed, 15 Jan 2020 15:51:32 +0000
Subject: gentoo resync : 15.01.2020

---
 dev-ml/incremental/Manifest                 |  3 ---
 dev-ml/incremental/incremental-0.9.0.ebuild | 32 -----------------------------
 dev-ml/incremental/metadata.xml             |  8 --------
 3 files changed, 43 deletions(-)
 delete mode 100644 dev-ml/incremental/Manifest
 delete mode 100644 dev-ml/incremental/incremental-0.9.0.ebuild
 delete mode 100644 dev-ml/incremental/metadata.xml

(limited to 'dev-ml/incremental')

diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest
deleted file mode 100644
index 4a75727961a3..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 254 BLAKE2B 96640773a27825c762d2053c5a5c5f052c77599236fee26ce45f753f791cad537d96ac4a3fee38033fd2d7d498b656259122c10678267d1fb9621f9659b0f5d4 SHA512 62eaf873705512acdd6ccc370213924ab1b8be4d23b7908f60764673fb496511c5b43ea13af27f40258b403b760861d7209acd1a701aa323db18a8ca5f12929c
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 a84a03d12122..000000000000
--- a/dev-ml/incremental/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<!-- maintainer-needed -->
-	<upstream>
-		<remote-id type="github">janestreet/incremental</remote-id>
-	</upstream>
-</pkgmetadata>
-- 
cgit v1.2.3