summaryrefslogtreecommitdiff
path: root/dev-ml/stdio
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/stdio')
-rw-r--r--dev-ml/stdio/Manifest5
-rw-r--r--dev-ml/stdio/metadata.xml11
-rw-r--r--dev-ml/stdio/stdio-0.9.0-r1.ebuild22
-rw-r--r--dev-ml/stdio/stdio-0.9.1.ebuild22
4 files changed, 0 insertions, 60 deletions
diff --git a/dev-ml/stdio/Manifest b/dev-ml/stdio/Manifest
deleted file mode 100644
index 48c2b7632ab4..000000000000
--- a/dev-ml/stdio/Manifest
+++ /dev/null
@@ -1,5 +0,0 @@
-DIST stdio-0.9.0.tar.gz 9264 BLAKE2B 1f3d7748ed07672eaad7c747c8925fb9e5204d59c05e8ee8674d689dcc44b9ae9d2da8420cfa05e8e0a58bded343cba979ff42f5f8fdae5392a1868591269f32 SHA512 a3809272c00653872d02b07b6c133215e06a70a7cbebed8c6c22ba5790ee8cbba17821da7875290c8869dfac22bf3cf248028e2aed2570195ca9b5f63b6ab75d
-DIST stdio-0.9.1.tar.gz 9281 BLAKE2B fa3a5a3877aa2ab19155d865eea03458b742224de11857f9f2c1219eef3f0fbd6562cf0eafc90c59dab03053db0dcae27c19a73da4f3a73e3b6d6a9407868f3d SHA512 bfef782562af7fae790b8baf02bf5d5edae2ccff29531080a608fd9224710c7d0a1a346c3480b6eaf4d7be1a280e19d9380a4dd9072de6d68e48ac419d275716
-EBUILD stdio-0.9.0-r1.ebuild 496 BLAKE2B efe13301c96808e53d7aee567d4f1b0877d0f0998d5619085a8bbd12b3626313cd9fce6bcde4655256b0a1749eacab9596cabeb8782a4667ef3d4076b6bc69b6 SHA512 662d185d044a7c93cb4ac1abef097ea7cb72d387667d07ece5a612ec0aa12df52a2d884c14e5b17a03060276a3d3fc4a4dd03b33ea54a841ab14183df4729c37
-EBUILD stdio-0.9.1.ebuild 496 BLAKE2B efe13301c96808e53d7aee567d4f1b0877d0f0998d5619085a8bbd12b3626313cd9fce6bcde4655256b0a1749eacab9596cabeb8782a4667ef3d4076b6bc69b6 SHA512 662d185d044a7c93cb4ac1abef097ea7cb72d387667d07ece5a612ec0aa12df52a2d884c14e5b17a03060276a3d3fc4a4dd03b33ea54a841ab14183df4729c37
-MISC metadata.xml 328 BLAKE2B 59ba640c2bd42d030e6ee4a92407877fab5dbd4b61706e6174902c17f9f580969aff31363e9bbcf9c627d54770afb0bffa3f66bd438ed9c1a58ba431948c829f SHA512 fdcaa73b9349a28b81f0bc9d4872edcfea9ae2b1194c0d1102a462aa5e2591d8d7af56b6946731ddadce713ddf8d8f7a0083d955922213eec4da42ee68e5e137
diff --git a/dev-ml/stdio/metadata.xml b/dev-ml/stdio/metadata.xml
deleted file mode 100644
index 0d2812b35089..000000000000
--- a/dev-ml/stdio/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/stdio</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/stdio/stdio-0.9.0-r1.ebuild b/dev-ml/stdio/stdio-0.9.0-r1.ebuild
deleted file mode 100644
index ea3350ffe129..000000000000
--- a/dev-ml/stdio/stdio-0.9.0-r1.ebuild
+++ /dev/null
@@ -1,22 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Standard IO Library for OCaml"
-HOMEPAGE="https://github.com/janestreet/stdio"
-SRC_URI="https://github.com/janestreet/stdio/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/base:= dev-ml/sexplib:="
-DEPEND="${RDEPEND} dev-ml/jbuilder"
-
-src_test() {
- jbuilder runtest || die
-}
diff --git a/dev-ml/stdio/stdio-0.9.1.ebuild b/dev-ml/stdio/stdio-0.9.1.ebuild
deleted file mode 100644
index ea3350ffe129..000000000000
--- a/dev-ml/stdio/stdio-0.9.1.ebuild
+++ /dev/null
@@ -1,22 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Standard IO Library for OCaml"
-HOMEPAGE="https://github.com/janestreet/stdio"
-SRC_URI="https://github.com/janestreet/stdio/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/base:= dev-ml/sexplib:="
-DEPEND="${RDEPEND} dev-ml/jbuilder"
-
-src_test() {
- jbuilder runtest || die
-}