[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2023-03-25 Thread Arthur Zamarin 
commit: 8f09ca4d4ff4dafe6372e353cc3eb1809ac749c6
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 06:34:57 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 06:34:57 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f09ca4d

dev-ml/uuidm: Stabilize 0.9.8 x86, #901635

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.8.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.8.ebuild b/dev-ml/uuidm/uuidm-0.9.8.ebuild
index f4f0b558a4a8..e4f14dcb3397 100644
--- a/dev-ml/uuidm/uuidm-0.9.8.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.8.ebuild
@@ -11,7 +11,7 @@ 
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"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2023-03-17 Thread Arthur Zamarin 
commit: 89cee62519f65695ead0fe524f4bf1ad9e34214e
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar 17 14:52:21 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar 17 14:52:21 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=89cee625

dev-ml/uuidm: Stabilize 0.9.8 ppc64, #901635

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.8.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.8.ebuild b/dev-ml/uuidm/uuidm-0.9.8.ebuild
index 67753c054bb6..f4f0b558a4a8 100644
--- a/dev-ml/uuidm/uuidm-0.9.8.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.8.ebuild
@@ -11,7 +11,7 @@ 
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"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2022-09-19 Thread Maciej Barć 
commit: 89d5e44368c71b5747c011e43a9b78efcf6a0b8c
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Sep 19 18:30:35 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Sep 19 18:59:23 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=89d5e443

dev-ml/uuidm: bump to 0.9.8

Signed-off-by: Maciej Barć  gentoo.org>

 dev-ml/uuidm/Manifest   |  1 +
 dev-ml/uuidm/uuidm-0.9.8.ebuild | 25 +
 2 files changed, 26 insertions(+)

diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
index 135e673ee5bc..c59ce5b27bed 100644
--- a/dev-ml/uuidm/Manifest
+++ b/dev-ml/uuidm/Manifest
@@ -1 +1,2 @@
 DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 
37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb
 SHA512 
7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4
+DIST uuidm-0.9.8.tar.gz 10079 BLAKE2B 
d441380dc3a4e326f777b2f9ed313cf3c27213ca5e1a02197fff40e3422df12a3451badf732b3dfae00eb8feb9fc72c137c9d5b0c20f7df4c17494d903e1b65c
 SHA512 
af3ca7faa7eba04c4078ddc43eee6cd8a1e210127e18d1d97fbdd00b98729caab0b52a6a05c090061e05656ef321c5e07bab13113e656c5c8b5285f193f070a8

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 ..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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2022-04-18 Thread Jakov Smolić 
commit: 3f6f23a3e092fc271cd9c5859567319c33ffaf3b
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:03 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:34 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f6f23a3

dev-ml/uuidm: Keyword 0.9.7 riscv, #835392

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 81fed2a51dca..0b5f822012b1 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-06-02 Thread Sam James 
commit: dac7c79437a38f808c4ba8de684f2e26ce92173c
Author: Sam James  gentoo  org>
AuthorDate: Thu Jun  3 00:44:12 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jun  3 00:44:57 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dac7c794

dev-ml/uuidm: Stabilize 0.9.7 x86, #783582

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 8e3ae67156f..2fa0da12442 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 ~x86"
+KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-05-16 Thread Sam James 
commit: de2c8ac7a320c55d0e43e4ca8fd52face35432e4
Author: Sam James  gentoo  org>
AuthorDate: Sun May 16 19:02:01 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun May 16 19:02:01 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de2c8ac7

dev-ml/uuidm: Stabilize 0.9.7 ppc, #783582

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 35b1878a5c7..8e3ae67156f 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 ~x86"
+KEYWORDS="amd64 arm arm64 ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-05-15 Thread Sam James 
commit: afc21c4a3dff1650b925cffef65de728f2d63a5b
Author: Sam James  gentoo  org>
AuthorDate: Sun May 16 00:06:17 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun May 16 00:06:17 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=afc21c4a

dev-ml/uuidm: Stabilize 0.9.7 arm, #783582

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 7276c58ef76..35b1878a5c7 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-05-15 Thread Sam James 
commit: b8927aff9fa7c15d6bf69f9d2971350195c529e2
Author: Sam James  gentoo  org>
AuthorDate: Sat May 15 19:17:24 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat May 15 19:17:24 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b8927aff

dev-ml/uuidm: Stabilize 0.9.7 arm64, #783582

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 7302465d409..7276c58ef76 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 ~x86"
+KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-05-14 Thread Sam James 
commit: b8d90ce6d1987963da5ef4a8bfbde28cb02b3397
Author: Sam James  gentoo  org>
AuthorDate: Sat May 15 02:00:43 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat May 15 02:00:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b8d90ce6

dev-ml/uuidm: Stabilize 0.9.7 amd64, #783582

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index fc6afa28dc9..7302465d409 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
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 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-21 Thread Sam James 
commit: 1e44df3fb78d83fc79818860ed25fc98172357e0
Author: Sam James  gentoo  org>
AuthorDate: Sun Feb 21 09:43:29 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Feb 21 09:43:29 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1e44df3f

dev-ml/uuidm: Keyword 0.9.7 arm64, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 9c961f733d2..b13893c3d73 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-21 Thread Sam James 
commit: ddd345e0e4f8145f02d483de66137dfe14338df2
Author: Sam James  gentoo  org>
AuthorDate: Sun Feb 21 08:11:09 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Feb 21 08:11:09 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddd345e0

dev-ml/uuidm: Keyword 0.9.7 ppc, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 070bf7c44b1..9c961f733d2 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-20 Thread Sam James 
commit: 076a149b6cb7094b6d2640a64b3d4cdc49e8f725
Author: Sam James  gentoo  org>
AuthorDate: Sun Feb 21 07:28:03 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Feb 21 07:28:03 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=076a149b

dev-ml/uuidm: Keyword 0.9.7 arm, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 426070a0753..070bf7c44b1 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-10 Thread Sam James 
commit: 5b9b5f8da4d7338664e40279bd3f8845b2f33400
Author: Sam James  gentoo  org>
AuthorDate: Wed Feb 10 16:38:35 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Feb 10 16:38:35 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b9b5f8d

dev-ml/uuidm: Keyword 0.9.7 ppc64, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 49355eef77d..426070a0753 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-10 Thread Sam James 
commit: 8a9123d33eb0f60d263e010bcbe72428f29f290e
Author: Sam James  gentoo  org>
AuthorDate: Wed Feb 10 16:30:03 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Feb 10 16:30:36 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8a9123d3

dev-ml/uuidm: Keyword 0.9.7 x86, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/uuidm-0.9.7.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
index 867adf73217..49355eef77d 100644
--- a/dev-ml/uuidm/uuidm-0.9.7.ebuild
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~x86"
 IUSE="+ocamlopt"
 
 BDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2021-02-09 Thread Sam James 
commit: 8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a
Author: Sam James  gentoo  org>
AuthorDate: Tue Feb  9 22:28:14 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Feb  9 22:47:42 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8cb319f9

dev-ml/uuidm: new package (dev-ml/alcotest dep)

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/uuidm/Manifest   |  1 +
 dev-ml/uuidm/metadata.xml   | 11 +++
 dev-ml/uuidm/uuidm-0.9.7.ebuild | 25 +
 3 files changed, 37 insertions(+)

diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
new file mode 100644
index 000..135e673ee5b
--- /dev/null
+++ b/dev-ml/uuidm/Manifest
@@ -0,0 +1 @@
+DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 
37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb
 SHA512 
7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4

diff --git a/dev-ml/uuidm/metadata.xml b/dev-ml/uuidm/metadata.xml
new file mode 100644
index 000..01e057cc597
--- /dev/null
+++ b/dev-ml/uuidm/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+   
+   m...@gentoo.org
+   ML
+   
+   
+   dbuenzli/uuidm
+   
+

diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
new file mode 100644
index 000..867adf73217
--- /dev/null
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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"
+IUSE="+ocamlopt"
+
+BDEPEND="
+   dev-ml/findlib[ocamlopt=]
+   dev-ml/ocamlbuild[ocamlopt=]
+   dev-ml/topkg
+"
+
+src_compile() {
+   ocaml pkg/pkg.ml build || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2017-01-24 Thread Alexis Ballier 
commit: f035bf529eeff18e8717c64c7f170dd25873065b
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Jan 24 10:42:05 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Jan 24 10:42:05 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f035bf52

dev-ml/uuidm: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/uuidm/Manifest   |  1 -
 dev-ml/uuidm/uuidm-0.9.5.ebuild | 21 -
 2 files changed, 22 deletions(-)

diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
index a331f04..10caa86 100644
--- a/dev-ml/uuidm/Manifest
+++ b/dev-ml/uuidm/Manifest
@@ -1,2 +1 @@
-DIST uuidm-0.9.5.tbz 44450 SHA256 
b5d99f7a53d184fd1e8405f8f57a1c4407530bd5f6a4f75edaf0ae1482ee6f0d SHA512 
2e3ec14dd1ca07c3f057171d7b09d98067c69700f6dd4edbeeafcb1802ee1aa374c76ce65cd26141aae9f70aebadb31abd15ef8d7560534b8c206e65acb27fe8
 WHIRLPOOL 
7b679775961aca73f60bae791f72a33c92bdd38f668e79cccd6de19a7240ae163950f2641fb8333276d0975c21e8a3cc6218c155b5483cb4487d2958588ea708
 DIST uuidm-0.9.6.tbz 9707 SHA256 
8ccab2ad5b2ca734224d93711396f9bfc2d0ca9fbba494f805d3840e7a73e443 SHA512 
13b900e98c27f201636b6f074416dc85ed6725b5bcdf911532c4ff31ca980c0a8e31583db9e336d2533559e4f9c3c1badf2a4548dffd21c009671a8dfc80a7f7
 WHIRLPOOL 
e6abce97947da183c82bb5abbe97b8a6cf8624e3c06d61aeb9fa97e4df43294372e2b94e0a3efda37438ba365c9529482bd35672ae88864dc0e308c30ab222aa

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 3c51491..
--- 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}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2016-11-29 Thread Alexis Ballier 
commit: 7198c6438db77130e4e37ea85d1c6b526efbc4a2
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Nov 29 15:55:54 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Nov 29 17:23:58 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7198c643

dev-ml/uuidm: bump to 0.9.6

Package-Manager: portage-2.3.2

 dev-ml/uuidm/Manifest   |  1 +
 dev-ml/uuidm/uuidm-0.9.6.ebuild | 34 ++
 2 files changed, 35 insertions(+)

diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
index 83f55c1..a331f04 100644
--- a/dev-ml/uuidm/Manifest
+++ b/dev-ml/uuidm/Manifest
@@ -1 +1,2 @@
 DIST uuidm-0.9.5.tbz 44450 SHA256 
b5d99f7a53d184fd1e8405f8f57a1c4407530bd5f6a4f75edaf0ae1482ee6f0d SHA512 
2e3ec14dd1ca07c3f057171d7b09d98067c69700f6dd4edbeeafcb1802ee1aa374c76ce65cd26141aae9f70aebadb31abd15ef8d7560534b8c206e65acb27fe8
 WHIRLPOOL 
7b679775961aca73f60bae791f72a33c92bdd38f668e79cccd6de19a7240ae163950f2641fb8333276d0975c21e8a3cc6218c155b5483cb4487d2958588ea708
+DIST uuidm-0.9.6.tbz 9707 SHA256 
8ccab2ad5b2ca734224d93711396f9bfc2d0ca9fbba494f805d3840e7a73e443 SHA512 
13b900e98c27f201636b6f074416dc85ed6725b5bcdf911532c4ff31ca980c0a8e31583db9e336d2533559e4f9c3c1badf2a4548dffd21c009671a8dfc80a7f7
 WHIRLPOOL 
e6abce97947da183c82bb5abbe97b8a6cf8624e3c06d61aeb9fa97e4df43294372e2b94e0a3efda37438ba365c9529482bd35672ae88864dc0e308c30ab222aa

diff --git a/dev-ml/uuidm/uuidm-0.9.6.ebuild b/dev-ml/uuidm/uuidm-0.9.6.ebuild
new file mode 100644
index ..764b1e8
--- /dev/null
+++ b/dev-ml/uuidm/uuidm-0.9.6.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+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="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="dev-lang/ocaml:=
+   dev-ml/cmdliner:="
+DEPEND="${RDEPEND}
+   dev-ml/opam"
+
+src_compile() {
+   ocaml pkg/pkg.ml build || die
+}
+
+src_install() {
+   opam-installer -i \
+   --prefix="${ED}/usr" \
+   --libdir="${D}/$(ocamlc -where)" \
+   --docdir="${ED}/usr/share/doc/${PF}" \
+   ${PN}.install || die
+   dodoc CHANGES.md README.md
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/

2016-02-09 Thread Alexis Ballier 
commit: a1014e8e99496f2b3bf2d2bc32fcedec14609b58
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Feb  9 10:41:26 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Feb  9 10:41:26 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1014e8e

dev-ml/uuidm: initial import; ebuild by me

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/uuidm/Manifest   |  1 +
 dev-ml/uuidm/metadata.xml   |  8 
 dev-ml/uuidm/uuidm-0.9.5.ebuild | 21 +
 3 files changed, 30 insertions(+)

diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
new file mode 100644
index 000..83f55c1
--- /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 000..ffac4d7
--- /dev/null
+++ b/dev-ml/uuidm/metadata.xml
@@ -0,0 +1,8 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+

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 000..3c51491
--- /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}"