summaryrefslogtreecommitdiff
path: root/dev-ml/io-page
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/io-page
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/io-page')
-rw-r--r--dev-ml/io-page/Manifest4
-rw-r--r--dev-ml/io-page/io-page-1.6.0.ebuild27
-rw-r--r--dev-ml/io-page/metadata.xml11
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest
new file mode 100644
index 000000000000..72dfc5db5e1a
--- /dev/null
+++ b/dev-ml/io-page/Manifest
@@ -0,0 +1,4 @@
+DIST io-page-1.6.0.tar.gz 53078 SHA256 20093190d41f7fc65a9c80eb63cc47c492bc2c5e28a13833e19224749b7dd784 SHA512 f20394b72cd4104be53a3639d22a287f8a5c32f05e60a31123c15d8deb1feb9ca28b77d953b186b9e5667332c8992ddecb8980883ad64c41f06d4f5b6cda7cb6 WHIRLPOOL bfca52635254b488d7652e6adc855b57abd2ca18ac499777d235800faa15374c5e1e136b9e9a9555d30dac61702cec51db41262a09b1b80f81bf388d5773a113
+EBUILD io-page-1.6.0.ebuild 548 SHA256 8c536843b306eea79b0cebeb7ef0c49b67fab67fe3a1ca62cde007d3525bf5dd SHA512 9eadc10ac01fb3eeeb34321ccc780a3011f0da848b8472f7842ee2caa9dc69bd699eb5107b14d554db8813eb887db972bc6c9305bfb4eb67a8e9da70b89c1430 WHIRLPOOL cf26a1a097a203e89c4af7eec8d27bd72e28b747fa8c8effcbb631f8f3aea762a0242fe778afc495b1fb5af98392c8b30b45d69d00531d95ea5ec8a65d95b1ce
+MISC ChangeLog 1503 SHA256 34d61267d32d97c492f2793cf329a99412aa86f2eba52d729fa91882377d4b53 SHA512 9759994a0e198f846f9159f29121c9f569cac9dc48f70d1dfa205818bd32490a6a7efdcfe88cc2e1074e5d39621a30895be32c0f011271409da9555ed34a97a8 WHIRLPOOL 96bc24b1f549b267ac574d9967a23ea25bec61b895b6e2c4ccad2ea28d8e1ee75ea4a11f7936b3a116c405e0d82729c06b65def08e804ab249f88eba5d57a51d
+MISC metadata.xml 356 SHA256 bd1fa10cfdab0336e74ad05c57e02343bfde2ad701cf17bead2a82d2e46153b8 SHA512 ab13ecbb79aa01b0b7677920c6d018597da4dc25ebe0bced372d6330aaa50c70b4f6a5028846dfa18fd401170f0af7dc58325a9435c396e3f9123a8c0d03d234 WHIRLPOOL 20d6c805344a5ee55b07124822deb43b92cfa4462826b16cf957be535074cca9bcf53d3d2692fab265bc5b1de4b10c14e45eba0eea138b1a229618d8b3b484ef
diff --git a/dev-ml/io-page/io-page-1.6.0.ebuild b/dev-ml/io-page/io-page-1.6.0.ebuild
new file mode 100644
index 000000000000..3811923910e4
--- /dev/null
+++ b/dev-ml/io-page/io-page-1.6.0.ebuild
@@ -0,0 +1,27 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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..fe15850868be
--- /dev/null
+++ b/dev-ml/io-page/metadata.xml
@@ -0,0 +1,11 @@
+<?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">mirage/io-page</remote-id>
+ </upstream>
+</pkgmetadata>