diff options
Diffstat (limited to 'dev-ml/variantslib')
| -rw-r--r-- | dev-ml/variantslib/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/variantslib/variantslib-0.9.0.ebuild | 22 |
2 files changed, 0 insertions, 23 deletions
diff --git a/dev-ml/variantslib/Manifest b/dev-ml/variantslib/Manifest index b5ae755776b8..9480edd8c07e 100644 --- a/dev-ml/variantslib/Manifest +++ b/dev-ml/variantslib/Manifest @@ -1,2 +1 @@ DIST variantslib-0.14.0.tar.gz 2951 BLAKE2B a3197f7e06d4340ae73d76d477fd1e0ce038b4829aa3a9d0e0ea3e5251f9ca7c43798005138993a16c860ebf4d08a7e54621359c2a030f3866b62a02de4c326f SHA512 0cb18475668eb8e6091f8a779587f0d643dd0325b0f8518e53469dd12769a3ed6fa4f9c2651a21f8b07992d7b29f6664c4d3bf49f46ed6d7002de07b5014e4f3 -DIST variantslib-0.9.0.tar.gz 5590 BLAKE2B 8b6b4c1e1d21e7f6c9bdc1813ea811dc4680506a2a8b2f8c869d8ba2583f07e99d717c0f6a984f6ca3c2e809c9eb2e7c497dcde1f0085e054de383b032f3e94e SHA512 2fd28063d307396da866be70480ba7f953d90ec32a55d31dad649eadb6141572e428f055cad02787654477c4a308313ecb7be4b9b80828af9d9870ad325b9f4d diff --git a/dev-ml/variantslib/variantslib-0.9.0.ebuild b/dev-ml/variantslib/variantslib-0.9.0.ebuild deleted file mode 100644 index a50b4f2ef0e0..000000000000 --- a/dev-ml/variantslib/variantslib-0.9.0.ebuild +++ /dev/null @@ -1,22 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="OCaml variants as first class values" -HOMEPAGE="https://github.com/janestreet/variantslib" -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="" - -RDEPEND=" - dev-ml/base:= - dev-ml/ppx_driver:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder" |