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/mirage-profile/Manifest                     |  3 --
 dev-ml/mirage-profile/metadata.xml                 | 11 --------
 .../mirage-profile/mirage-profile-0.7.0-r1.ebuild  | 32 ----------------------
 3 files changed, 46 deletions(-)
 delete mode 100644 dev-ml/mirage-profile/Manifest
 delete mode 100644 dev-ml/mirage-profile/metadata.xml
 delete mode 100644 dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild

(limited to 'dev-ml/mirage-profile')

diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest
deleted file mode 100644
index 64c6aba6b001..000000000000
--- a/dev-ml/mirage-profile/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST mirage-profile-0.7.0.tar.gz 55531 BLAKE2B 1432d187b5e99723cd7135980495e03b7119f41686b1e8dc1c947227436154abce53eae3d17f8eceb8e87a0b01b03d5d995e85a566a3d566aee05ac7104bda30 SHA512 58a6224942f8395ec78936b29d1a0f39eb0228cdb6a139a942f4bf675b35e0e9157d3e57d0c8953cf168fc5ba4356158e339a31b3719cdaf534f52c51c7a0b47
-EBUILD mirage-profile-0.7.0-r1.ebuild 665 BLAKE2B d555972fab0d7fa9950267f7e77e9b494ccfa2a769583267990c8dd156d4ac37a03a52450cc3810b1ba547cacf9142d8bdb8917f163967f722bf21f15d9d6d01 SHA512 761c5fae2a482586dae71374593420964fc807a9a2aca98566602c23f0f8421501635f2017112f65e88af00365034998532e1158a515d8ac85d6fe654534a56f
-MISC metadata.xml 361 BLAKE2B 6698e9229857b3f4a37f0f44abde15ad871ed24f777ffac1ad250ca9b70a16ef2d803f948f35036326380cf31409dc50f66386a1d0f803d60ee3e1fcd3d5043f SHA512 af65e9f8fb6e484b7c5a54a219b928929b3010bcb60a28e1e29ee7f6ae5aab46e6ce28235442f659ef1f92a330927129e97d6472c82753a3877c65e8e7ccfa9e
diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml
deleted file mode 100644
index 6ed0938f83b5..000000000000
--- a/dev-ml/mirage-profile/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">mirage/mirage-profile</remote-id>
-    </upstream>
-</pkgmetadata>
diff --git a/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild b/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild
deleted file mode 100644
index 1757681ac744..000000000000
--- a/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-OASIS_BUILD_TESTS=1
-
-inherit oasis
-
-DESCRIPTION="Collect profiling information"
-HOMEPAGE="https://github.com/mirage/mirage-profile https://mirage.io"
-SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD-2"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-# https://github.com/mirage/mirage-profile/issues/11
-RESTRICT="test"
-
-RDEPEND="
-	>=dev-lang/ocaml-4:=
-	dev-ml/io-page:=
-	dev-ml/lwt:=
-	>=dev-ml/ocaml-cstruct-1.9.0:=[ppx(-)]
-	dev-ml/ppx_tools:=
-	dev-ml/ocplib-endian:=
-"
-DEPEND="
-	${RDEPEND}
-"
-
-DOCS=( README.md )
-- 
cgit v1.2.3