From 3494f063e767770338d90d87a2c7af0348323381 Mon Sep 17 00:00:00 2001
From: Alexis Ballier <aballier@gentoo.org>
Date: Sat, 19 Sep 2015 15:44:49 +0200
Subject: [PATCH] dev-ml/bignum: initial import, ebuild by me.

Package-Manager: portage-2.2.20.1
---
 dev-ml/bignum/Manifest                |  1 +
 dev-ml/bignum/bignum-113.00.00.ebuild | 29 +++++++++++++++++++++++++++
 dev-ml/bignum/metadata.xml            |  5 +++++
 3 files changed, 35 insertions(+)
 create mode 100644 dev-ml/bignum/Manifest
 create mode 100644 dev-ml/bignum/bignum-113.00.00.ebuild
 create mode 100644 dev-ml/bignum/metadata.xml

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
new file mode 100644
index 000000000000..fbd28767baa7
--- /dev/null
+++ b/dev-ml/bignum/Manifest
@@ -0,0 +1 @@
+DIST bignum-113.00.00.tar.gz 66062 SHA256 7253924c79f79d6b2c846ae18cdade0c3b5a5a9a0909b2a0fb2f9938040973bb SHA512 a588cc58c258b8f1aa748a292032cb452d913e19a0952e11673a557d1de8a043457a7e5a52bac071fca7b711513da8d90dcd6b6d765b5d8064a7ad289b02b43f WHIRLPOOL 8215de6aa4696c39ec4107b703f99b36f3f68809436520209dbe9eb70286b00d0fc2ad0787a55cbd5bdcd3f485e8373915b7d1355fb714e7ff95c1f087b3be7a
diff --git a/dev-ml/bignum/bignum-113.00.00.ebuild b/dev-ml/bignum/bignum-113.00.00.ebuild
new file mode 100644
index 000000000000..ba15ba55aca1
--- /dev/null
+++ b/dev-ml/bignum/bignum-113.00.00.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+DESCRIPTION="Core-flavoured wrapper around zarith's arbitrary-precision rationals"
+HOMEPAGE="http://janestreet.github.io/"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+	dev-ml/bin-prot:=
+	dev-ml/comparelib:=
+	dev-ml/core_kernel:=
+	dev-ml/pa_bench:=
+	dev-ml/pa_test:=
+	dev-ml/pa_ounit:=
+	dev-ml/sexplib:=
+	dev-ml/typerep:=
+	dev-ml/zarith:=
+"
+RDEPEND="${DEPEND}"
diff --git a/dev-ml/bignum/metadata.xml b/dev-ml/bignum/metadata.xml
new file mode 100644
index 000000000000..849ed8ebf13d
--- /dev/null
+++ b/dev-ml/bignum/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <herd>ml</herd>
+</pkgmetadata>
-- 
2.26.2