From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 20:57:42 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-ml/ppx_typerep_conv/Manifest                   |  3 ---
 dev-ml/ppx_typerep_conv/metadata.xml               | 11 ---------
 .../ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild | 26 ----------------------
 3 files changed, 40 deletions(-)
 delete mode 100644 dev-ml/ppx_typerep_conv/Manifest
 delete mode 100644 dev-ml/ppx_typerep_conv/metadata.xml
 delete mode 100644 dev-ml/ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild

(limited to 'dev-ml/ppx_typerep_conv')

diff --git a/dev-ml/ppx_typerep_conv/Manifest b/dev-ml/ppx_typerep_conv/Manifest
deleted file mode 100644
index b5acc13679e9..000000000000
--- a/dev-ml/ppx_typerep_conv/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST ppx_typerep_conv-0.9.0.tar.gz 10844 BLAKE2B 4c21e9529c587507eef26fc53ae2c1153cbecd754d6b36b73ee6e639a13d872932a421207224c392394a52767f5fde66441cf19318499c8604c2e20b9583841a SHA512 155838bf6dce45a043624845ce882eee374df344f76a9433a1170d89cc27856a634f4ca31ad28e46b28c5103d00c3d8d7d79692872c5dfc35d0b4a7eebdb3d1d
-EBUILD ppx_typerep_conv-0.9.0.ebuild 606 BLAKE2B da77568f0ff5a883337f385f96079930e0e5bf40e60d3987779af3f047f188f18b80ecc4b9529424fe72e9952def0b558998cc81c497998672ea96eb6cd2509c SHA512 784430fd32a3c7f8fecbd9a8dbd277a81402c7a890a507fa5f59d70515fef30c32b3ec7e3f78ebb979617305ebd5e5274fd191d4fb5e92379ae2d4ba635c1188
-MISC metadata.xml 339 BLAKE2B 0881bf17efa100bbd593e81be3a264874bd1f00151bfc0631a0c0dabf3801470fb701c6225b3cf47723e91b5772edd274577d1549475c21757aa488cad28eeb5 SHA512 8c26a914454d9a9ab3fdc0d3d7f0b3781964d6487fe267248a7a317dbeb3d72c86795cd53fc8e15ac29ac16e5070ea996dd3bdf65903a568f159fd64767f958e
diff --git a/dev-ml/ppx_typerep_conv/metadata.xml b/dev-ml/ppx_typerep_conv/metadata.xml
deleted file mode 100644
index f6ee225d2d25..000000000000
--- a/dev-ml/ppx_typerep_conv/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/ppx_typerep_conv</remote-id>
-	</upstream>
-</pkgmetadata>
diff --git a/dev-ml/ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild b/dev-ml/ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild
deleted file mode 100644
index 30147fc55d68..000000000000
--- a/dev-ml/ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild
+++ /dev/null
@@ -1,26 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Generation of runtime types from type declarations"
-HOMEPAGE="https://github.com/janestreet/ppx_typerep_conv"
-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-ml/ppx_core:=
-	dev-ml/ppx_driver:=
-	dev-ml/ppx_metaquot:=
-	dev-ml/ppx_type_conv:=
-	dev-ml/typerep:=
-	dev-ml/ocaml-migrate-parsetree:=
-	"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/jbuilder"
-- 
cgit v1.2.3