diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/re2/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/re2/re2-0.9.0.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-ml/re2/Manifest b/dev-ml/re2/Manifest index 49eba6a6053c..80e398d16dbc 100644 --- a/dev-ml/re2/Manifest +++ b/dev-ml/re2/Manifest @@ -1,2 +1 @@ -DIST re2-0.9.0.tar.gz 388868 BLAKE2B e4a16d9c417099c0aae331adbb09a5b1da597df576232f40d991aaafb751a936f92771df4dc17b869e1b90d86800d0f4313fd51924b0fbb04c1ac8c06961704d SHA512 d11cde52c151486025e05318930253f37312eb6498698ffd3b271f4ba0c83cae0ff8c0c1a11e01b6ab333770400108f3de33fd68f73ab6df1c832e7edffb5e77 DIST re2-0.9.1.tar.gz 388911 BLAKE2B d6d0673142e2523c0d5fed2c19439bbf7c2ace401558f4c40f0302445492ae17bf67076c4faeb0e25eeb8cc01f463f4804317d4f6a5113586be77df18ec93874 SHA512 a92dc39a1d263dd2bbfad88f0ea0936fcadd1d03cd735d9db151412919713cfb4d8329f1e0fa454917d8faa49480e8dd60af9331b0863548ab267b647bd1e192 diff --git a/dev-ml/re2/re2-0.9.0.ebuild b/dev-ml/re2/re2-0.9.0.ebuild deleted file mode 100644 index e77c46fb6030..000000000000 --- a/dev-ml/re2/re2-0.9.0.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="OCaml bindings for RE2" -HOMEPAGE="https://github.com/janestreet/re2" -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/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |