diff options
Diffstat (limited to 'dev-ml/uuidm/uuidm-0.9.5.ebuild')
| -rw-r--r-- | dev-ml/uuidm/uuidm-0.9.5.ebuild | 21 |
1 files changed, 21 insertions, 0 deletions
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}" |