From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 9 Oct 2017 18:53:29 +0100 Subject: reinit the tree, so we can have metadata --- dev-ml/bignum/Manifest | 4 ++++ dev-ml/bignum/bignum-0.9.0.ebuild | 34 ++++++++++++++++++++++++++++++++++ dev-ml/bignum/metadata.xml | 11 +++++++++++ 3 files changed, 49 insertions(+) create mode 100644 dev-ml/bignum/Manifest create mode 100644 dev-ml/bignum/bignum-0.9.0.ebuild create mode 100644 dev-ml/bignum/metadata.xml (limited to 'dev-ml/bignum') diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest new file mode 100644 index 000000000000..7203c1031c2d --- /dev/null +++ b/dev-ml/bignum/Manifest @@ -0,0 +1,4 @@ +DIST bignum-0.9.0.tar.gz 28060 SHA256 ff49985bf84136510ebae7bc302a462053b56322d94cd82a34bcb7da3d48b15e SHA512 ac80a9303cd177819db74ee6e3aaada76c4c97f9d654b902b99708b0123989b043e9c8db5f05e6d4bdf0453975b3826bed6fc18deff7e7c7ff194a7de908a5c5 WHIRLPOOL 4277d7533ee68bb09ea4867fadb49bdf1f31f02baa25e8aef1268e29b3002fb0af9314ecee2cf32c5cf34f4a2652cdc4f2cd834caae477bfc79b077a3976320b +EBUILD bignum-0.9.0.ebuild 803 SHA256 aad215c938db1655f3620243116298432367ee095adc0e6557ace0c9f6f998a0 SHA512 01019345f819530ae490322ce7b6930fd414fb2c2017a9fe91bcc828ef3aa07f18294d0d1626579282a86421901899744125fc545597d0b00282d8b44bb9b6c5 WHIRLPOOL ec91608446115bfb98e6007ffba559c18185f52fd26fcea6bd1ad192b686c2927cd81003b4614856bb47b5fb99994e0c52a9c0df12aafdd1f3fafabf52526e2c +MISC ChangeLog 1331 SHA256 8c32e2fa158197d625834b0e3b43cf46ad07db8f0413867ebba5be44e485dab3 SHA512 6df72bcbcaa5b96c4bec67a617436cecaefb78997e272653b316bda88e9044be6ec92d2ef0c56426dfc0671f9ab1bf105b7124e968bcb19320ba644fc1716ffc WHIRLPOOL 79a2658b4cb9805be0ef63e7fe09d94f5f61254e8a1a15535437e423d32e3e895a8c6892ed994c0f3684e621c88aa1bd3f9de6da657e0724de92e8f3e2827d89 +MISC metadata.xml 339 SHA256 d95ff30dc4fc675d42f9d05a20038e37f92e94d301dda882279366117eb7c504 SHA512 baa1e6d6c8d0efcd5607311e7286527095f0c880384d1ad807bcce1e44ca46f9346753e3b4b70ecac3d4544ce64a838590bfaaa0d7c914f43374913d51ed5adc WHIRLPOOL 40c7322339135b563398d2a53c8efb3b4e61bbd77a4305b27575f5c5c85746bae07148e81f6355d50af69482d681fccb8022083b840e120ffa4c74f61b9bcdaa diff --git a/dev-ml/bignum/bignum-0.9.0.ebuild b/dev-ml/bignum/bignum-0.9.0.ebuild new file mode 100644 index 000000000000..a2a5971bed66 --- /dev/null +++ b/dev-ml/bignum/bignum-0.9.0.ebuild @@ -0,0 +1,34 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Core-flavoured wrapper around zarith's arbitrary-precision rationals" +HOMEPAGE="https://github.com/janestreet/bignum" +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="" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/core_kernel:= + dev-ml/core_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/typerep:= + dev-ml/zarith:= + + + + + ml@gentoo.org + Gentoo ML Project + + + janestreet/bignum + + -- cgit v1.2.3