diff options
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 | 11 | ||||
| -rw-r--r-- | dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild | 32 |
3 files changed, 0 insertions, 46 deletions
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 ) |