summaryrefslogtreecommitdiff
path: root/dev-ml/uuidm
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-09-19 23:22:40 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-09-19 23:22:40 +0100
commit4ae4e74a3a13c7c5aaebf61e650538b005204fcb (patch)
tree4abb4271a26b735b28a4eb8b69206cbcc8e7b4e2 /dev-ml/uuidm
parentb2a3508c3634488d32ec5bbe6b4365ab27185ebd (diff)
gentoo auto-resync : 19:09:2022 - 23:22:40
Diffstat (limited to 'dev-ml/uuidm')
-rw-r--r--dev-ml/uuidm/Manifest2
-rw-r--r--dev-ml/uuidm/uuidm-0.9.8.ebuild25
2 files changed, 27 insertions, 0 deletions
diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
index 09f89ef4c016..c88fe99060f7 100644
--- a/dev-ml/uuidm/Manifest
+++ b/dev-ml/uuidm/Manifest
@@ -1,3 +1,5 @@
DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb SHA512 7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4
+DIST uuidm-0.9.8.tar.gz 10079 BLAKE2B d441380dc3a4e326f777b2f9ed313cf3c27213ca5e1a02197fff40e3422df12a3451badf732b3dfae00eb8feb9fc72c137c9d5b0c20f7df4c17494d903e1b65c SHA512 af3ca7faa7eba04c4078ddc43eee6cd8a1e210127e18d1d97fbdd00b98729caab0b52a6a05c090061e05656ef321c5e07bab13113e656c5c8b5285f193f070a8
EBUILD uuidm-0.9.7.ebuild 546 BLAKE2B f6a36e882f59f263841c0eeb1d40fb5a777bebd19915e2fd7b87e080bc4e25a56c956e0ef9153978fd2b4b4fbfd65f33aaccfa65e3de039b0298a469e4686ffa SHA512 68433e0d29a868b6a7c8f27dd525b029462c77628ab6915e857edbb45fe677b8b727780bfc4d82da25e0876ab32499214cf266234aae79342eac82d321d9710a
+EBUILD uuidm-0.9.8.ebuild 552 BLAKE2B 1cd3f9ade655b5652d6b3fc3ac168c5eba7dcd638ff0933854c8b9cc5e07e0226ceec8b1b6fa60b44a73ab25ea60ad72718f9ec3a81fdcac5ccddcdc0109efd6 SHA512 cf3841c62b6e86b712c08510f80c0723f12557e46b0a7304696f9e387d26fe5748c5ecb7c22413ff501c13c03eb8ecce7a0ef8dd557f5b2ee7021193367f092f
MISC metadata.xml 312 BLAKE2B e0ec12a7753192a4714bf02e3f7fe15f896292480956811794b35ccc39fe96368591671bf580d43bf82ccb2a469e2139a80261c7972384e4e0fe092ea0448161 SHA512 e8f7ad1b8ae5e05c092ceb939523dc2bcdddd843e030ebb40f41d3e06942b36d39cdef02201bd850ab7e7261f44249e6bb376f0f9fcd4135c38ca8478597be89
diff --git a/dev-ml/uuidm/uuidm-0.9.8.ebuild b/dev-ml/uuidm/uuidm-0.9.8.ebuild
new file mode 100644
index 000000000000..154a7d23edf4
--- /dev/null
+++ b/dev-ml/uuidm/uuidm-0.9.8.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit opam
+
+DESCRIPTION="Universally unique identifiers (UUIDs) for OCaml"
+HOMEPAGE="https://github.com/dbuenzli/uuidm/"
+SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+BDEPEND="
+ dev-ml/findlib[ocamlopt=]
+ dev-ml/ocamlbuild[ocamlopt=]
+ dev-ml/topkg
+"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}