summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/io-page')
-rw-r--r--dev-ml/io-page/Manifest1
-rw-r--r--dev-ml/io-page/io-page-1.5.1.ebuild28
-rw-r--r--dev-ml/io-page/metadata.xml9
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest
new file mode 100644
index 000000000000..738298eb7dda
--- /dev/null
+++ b/dev-ml/io-page/Manifest
@@ -0,0 +1 @@
+DIST io-page-1.5.1.tar.gz 52385 SHA256 37b76758296a3d41c56faa31c64102d3df3c18c61c5a761def54f8799eed6a48 SHA512 28fe821e845c4726c6315647523f7d78853738e179176ebabeed40d602d0797433716045beeb3501e2faba2ae1553fe4e1e74b8af75d6e37173b23165eeedbdf WHIRLPOOL 7f78c8dca110bec93710deeab4b91715ad6698fe0cd32b2c5f9d028c043073c7f577138a4d5c502321e3d0900580f38709c77e0db9283b3fcbab4e959dfd39f4
diff --git a/dev-ml/io-page/io-page-1.5.1.ebuild b/dev-ml/io-page/io-page-1.5.1.ebuild
new file mode 100644
index 000000000000..79f78c0356c2
--- /dev/null
+++ b/dev-ml/io-page/io-page-1.5.1.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+OASIS_BUILD_TESTS=1
+
+inherit oasis
+
+DESCRIPTION="IO memory page library for Mirage backends"
+HOMEPAGE="https://github.com/mirage/io-page https://mirage.io"
+SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ >=dev-lang/ocaml-4:=
+ >=dev-ml/ocaml-cstruct-1.1.0:=
+"
+DEPEND="
+ test? ( dev-ml/ounit )
+ ${RDEPEND}
+"
+
+DOCS=( CHANGES README.md )
diff --git a/dev-ml/io-page/metadata.xml b/dev-ml/io-page/metadata.xml
new file mode 100644
index 000000000000..a33970c685ba
--- /dev/null
+++ b/dev-ml/io-page/metadata.xml
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>ml</herd>
+ <herd>proxy-maintainers</herd>
+ <maintainer>
+ <email>tomboy64@sina.cn</email>
+ </maintainer>
+</pkgmetadata>