summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_typerep_conv
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
commit1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch)
treee48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/ppx_typerep_conv
parentd87262dd706fec50cd150aab3e93883b6337466d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ppx_typerep_conv')
-rw-r--r--dev-ml/ppx_typerep_conv/Manifest3
-rw-r--r--dev-ml/ppx_typerep_conv/metadata.xml11
-rw-r--r--dev-ml/ppx_typerep_conv/ppx_typerep_conv-0.9.0.ebuild26
3 files changed, 0 insertions, 40 deletions
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"