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, 0 insertions, 21 deletions
diff --git a/dev-ml/uuidm/uuidm-0.9.5.ebuild b/dev-ml/uuidm/uuidm-0.9.5.ebuild deleted file mode 100644 index 3c5149184a1f..000000000000 --- a/dev-ml/uuidm/uuidm-0.9.5.ebuild +++ /dev/null @@ -1,21 +0,0 @@ -# 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}" |