diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/uuidm/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/uuidm/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/uuidm/uuidm-0.9.5.ebuild | 21 |
3 files changed, 30 insertions, 0 deletions
diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest new file mode 100644 index 000000000000..83f55c1dd7ae --- /dev/null +++ b/dev-ml/uuidm/Manifest @@ -0,0 +1 @@ +DIST uuidm-0.9.5.tbz 44450 SHA256 b5d99f7a53d184fd1e8405f8f57a1c4407530bd5f6a4f75edaf0ae1482ee6f0d SHA512 2e3ec14dd1ca07c3f057171d7b09d98067c69700f6dd4edbeeafcb1802ee1aa374c76ce65cd26141aae9f70aebadb31abd15ef8d7560534b8c206e65acb27fe8 WHIRLPOOL 7b679775961aca73f60bae791f72a33c92bdd38f668e79cccd6de19a7240ae163950f2641fb8333276d0975c21e8a3cc6218c155b5483cb4487d2958588ea708 diff --git a/dev-ml/uuidm/metadata.xml b/dev-ml/uuidm/metadata.xml new file mode 100644 index 000000000000..ffac4d7ebc01 --- /dev/null +++ b/dev-ml/uuidm/metadata.xml @@ -0,0 +1,8 @@ +<?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> +</pkgmetadata> diff --git a/dev-ml/uuidm/uuidm-0.9.5.ebuild b/dev-ml/uuidm/uuidm-0.9.5.ebuild new file mode 100644 index 000000000000..3c5149184a1f --- /dev/null +++ b/dev-ml/uuidm/uuidm-0.9.5.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=5 +#fails to build +#OASIS_BUILD_DOCS=1 + +inherit oasis + +DESCRIPTION="OCaml module implementing 128 bits universally unique identifiers" +HOMEPAGE="http://erratique.ch/software/uuidm" +SRC_URI="http://erratique.ch/software/uuidm/releases/${P}.tbz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND="" +RDEPEND="${DEPEND}" |