diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-10-21 04:04:33 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-10-21 04:04:33 +0100 |
| commit | 3dc4de6331223493015f198dc61854af604da86c (patch) | |
| tree | 626add8c88d96adf9429cdb19226d9de60e6dafd /dev-ml/uuidm | |
| parent | d895362f98ae63a6ed12cd16d3b3df95d6967f25 (diff) | |
gentoo auto-resync : 21:10:2024 - 04:04:33
Diffstat (limited to 'dev-ml/uuidm')
| -rw-r--r-- | dev-ml/uuidm/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/uuidm/uuidm-0.9.9.ebuild | 25 |
2 files changed, 27 insertions, 0 deletions
diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest index 1f2006e84c6c..b153cadb808a 100644 --- a/dev-ml/uuidm/Manifest +++ b/dev-ml/uuidm/Manifest @@ -1,5 +1,7 @@ DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb SHA512 7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4 DIST uuidm-0.9.8.tar.gz 10079 BLAKE2B d441380dc3a4e326f777b2f9ed313cf3c27213ca5e1a02197fff40e3422df12a3451badf732b3dfae00eb8feb9fc72c137c9d5b0c20f7df4c17494d903e1b65c SHA512 af3ca7faa7eba04c4078ddc43eee6cd8a1e210127e18d1d97fbdd00b98729caab0b52a6a05c090061e05656ef321c5e07bab13113e656c5c8b5285f193f070a8 +DIST uuidm-0.9.9.tar.gz 14007 BLAKE2B 815197aae4f3ae47b70b33a13d73ae6e4461722f93dcb3baf83096837c3f075fa5297bc92edd07fd3b6be743bb29d72482228d8da7301f6bbd65c6325db736cb SHA512 432e95fa8167403794db63eb116f7c3695cb680b4b6141dd11f490a3b566bc4f736b2741ad55d40c040f2ec7515b91d0ada4618d1e7689d6e4f270ac57153f13 EBUILD uuidm-0.9.7.ebuild 546 BLAKE2B f6a36e882f59f263841c0eeb1d40fb5a777bebd19915e2fd7b87e080bc4e25a56c956e0ef9153978fd2b4b4fbfd65f33aaccfa65e3de039b0298a469e4686ffa SHA512 68433e0d29a868b6a7c8f27dd525b029462c77628ab6915e857edbb45fe677b8b727780bfc4d82da25e0876ab32499214cf266234aae79342eac82d321d9710a EBUILD uuidm-0.9.8.ebuild 547 BLAKE2B 5a1d4fe3e07e308af7852b95d4216c8a3b9cb0a5a1d45335725d346c1468a05772573d27ee7fc8c801c83e929672dfbecb31065fb519ae69509ab0afc402b26e SHA512 04e31a55e313358883cd3f79c4c700dfd1747ffd476f9c1099cb240c2ac66acc2815b254ae35ca75c7315f3d99324e3b4f11db2c2a447c7ebed33e0d3eeef189 +EBUILD uuidm-0.9.9.ebuild 552 BLAKE2B 70ef46067aef78a0f5b1c5d2447c113f95a27c09b5c391af770bbc70bb73b21fa7d118e066b521b9035c79c8d0ac364dd85197b167954063a6d38d1446833aec SHA512 f91c876a4d5740d70ef6536432b2c82b2d0bd6923c4c00eb44578aeeb9e4a20c868acd7dabffb061cecae42671b5e6bac7c3be39eb4deb2a4ddebf8259c13288 MISC metadata.xml 312 BLAKE2B e0ec12a7753192a4714bf02e3f7fe15f896292480956811794b35ccc39fe96368591671bf580d43bf82ccb2a469e2139a80261c7972384e4e0fe092ea0448161 SHA512 e8f7ad1b8ae5e05c092ceb939523dc2bcdddd843e030ebb40f41d3e06942b36d39cdef02201bd850ab7e7261f44249e6bb376f0f9fcd4135c38ca8478597be89 diff --git a/dev-ml/uuidm/uuidm-0.9.9.ebuild b/dev-ml/uuidm/uuidm-0.9.9.ebuild new file mode 100644 index 000000000000..d09999e9f6dc --- /dev/null +++ b/dev-ml/uuidm/uuidm-0.9.9.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2024 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 +} |