summaryrefslogtreecommitdiff
path: root/dev-ml
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
parentb2a3508c3634488d32ec5bbe6b4365ab27185ebd (diff)
gentoo auto-resync : 19:09:2022 - 23:22:40
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/Manifest.gzbin35169 -> 35170 bytes
-rw-r--r--dev-ml/react/Manifest2
-rw-r--r--dev-ml/react/react-1.2.2-r1.ebuild (renamed from dev-ml/react/react-1.2.2.ebuild)2
-rw-r--r--dev-ml/uuidm/Manifest2
-rw-r--r--dev-ml/uuidm/uuidm-0.9.8.ebuild25
5 files changed, 29 insertions, 2 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index 86155b21c101..8a946ce2463f 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
Binary files differ
diff --git a/dev-ml/react/Manifest b/dev-ml/react/Manifest
index 3455e8fece0a..489cb1a8ef68 100644
--- a/dev-ml/react/Manifest
+++ b/dev-ml/react/Manifest
@@ -1,5 +1,5 @@
DIST react-1.2.1.tbz 39184 BLAKE2B 0ad5fd576c08292011e6543462295a11b77048f59aaaf34726c078c654fba4a9b7dd0bb6a6579fad04a6cd217b29f4efc15de9b7d9b208c593b481610534d9c8 SHA512 60f8788cc820e2be5303caedc80a377c8e5deab170d0eb9df71ff99d6fc57f31357824522f973c6e0d6b3979b58272e7f90b829474a494b94565279c53e8fbb1
DIST react-1.2.2.tbz 40013 BLAKE2B 302f480cf2cc88fc8a97b262d41809ed4fe904d3ea4cdec8ba80a8bdc99b3ffc1c9f19cf853c3d40587a34ba7608734e60ede5b756479676af95f9470e1badac SHA512 18cdd544d484222ba02db6bd9351571516532e7a1c107b59bbe39193837298f5c745eab6754f8bc6ff125b387be7018c6d6e6ac99f91925a5e4f53af688522b1
EBUILD react-1.2.1-r1.ebuild 660 BLAKE2B a090ae7ac7f4a371aec1b5730a8ef3d85f310d0e334f5188763be981890100af0acc8b3fa14b657dfc5c49f93871a7b163a67d95d138f1354f561a5d3f0a494f SHA512 42c053d74744f3d23f84397dc521203f553b017a7ddca21b6fef05afbcfa4b1ebdbe92d974ae79d726f484544b77a6813466dd2ac1c9d233cb48df9065eaed87
-EBUILD react-1.2.2.ebuild 777 BLAKE2B 176ebeca42a9a81898ce64da3e7d65c08fefb3c61321cae0c546429edf89810a92642f3409d72a726991bd975a984f122474a57110b250cbe8285be2e4fdf520 SHA512 164ea5b20446cf5793087bb284f53ae9bf9498eab516ea004872ef9f50d7b8767777e4ba47b3c25ae41156cb87121111aec9ba3b564c3fd0bb1af503b35982f2
+EBUILD react-1.2.2-r1.ebuild 777 BLAKE2B e9ff05c1bbd68a83be3925d2017a46a9bd2f77b3305930b42f7c5152620f1b4e7a255ebf608ba8f728dbd87d19ad12f1c49f8f34069f66fb5ca555bfc64c7596 SHA512 8cf1b60c6d2a0ccfdda4bee0df6ee32745aebc0e383c07cb57d93b646f4bb35bb5b05a01795ad9237063d4b1bd1f7064f74d5db6fc9b07c51c8f9df4dc8e8475
MISC metadata.xml 957 BLAKE2B ffab75891fb139f7d7e87231732f337dcead0f66cdfd376d1117027cbe6100633c55c75cc63644672417aba281f9e8eeb42ef703c7754bc85e650ccbe2b40902 SHA512 fd95bb4e0207932c8fb09e82721a20c7a791b9f9e44e2480f31dfb3201e2bf1f4221b2216c9ea12093da0bf7e81dba340eefd0a42e5f406033fd26222067d635
diff --git a/dev-ml/react/react-1.2.2.ebuild b/dev-ml/react/react-1.2.2-r1.ebuild
index a0f919852efe..ffb75f23abed 100644
--- a/dev-ml/react/react-1.2.2.ebuild
+++ b/dev-ml/react/react-1.2.2-r1.ebuild
@@ -1,7 +1,7 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
inherit opam
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
+}