diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/mirage-profile | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/mirage-profile')
| -rw-r--r-- | dev-ml/mirage-profile/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/mirage-profile/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild | 32 |
3 files changed, 0 insertions, 43 deletions
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest deleted file mode 100644 index 1c6b0374c4da..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 266 BLAKE2B 8cf775f92a854bb5ac39393f5e1ca2dc7ca7b43a4d7e124fa74ccf8390c87204e9d4d63b82c71669586358b5a4f843b43745b53c45601d878a6c2ac8fa7d02e5 SHA512 adc9847451dd9f710edb6c21db64da3eb735ae9c4a1e9e6288be1f9072efb534a2f151cdc76ab01c6944db3d68ba8d3a2750655a5c6c47c599c2cf5b5f959ed7 diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml deleted file mode 100644 index 818f7adf4935..000000000000 --- a/dev-ml/mirage-profile/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">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 ) |