summaryrefslogtreecommitdiff
path: root/dev-ml/dune-site
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-07-03 08:05:42 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-07-03 08:05:42 +0100
commit8435c842b9e8fbb2bcc80397ab3aa655000459e2 (patch)
treeb74558e80643a8f074c501e8b4bf7f50f7155455 /dev-ml/dune-site
parent5c5e9714c851027611cb726a76ebb8be6d48cbdc (diff)
gentoo auto-resync : 03:07:2024 - 08:05:42
Diffstat (limited to 'dev-ml/dune-site')
-rw-r--r--dev-ml/dune-site/Manifest2
-rw-r--r--dev-ml/dune-site/dune-site-3.13.1.ebuild32
2 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/dune-site/Manifest b/dev-ml/dune-site/Manifest
index b928529c21cc..36c24a3b4257 100644
--- a/dev-ml/dune-site/Manifest
+++ b/dev-ml/dune-site/Manifest
@@ -1,11 +1,13 @@
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4
+DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
EBUILD dune-site-2.9.3.ebuild 656 BLAKE2B e286ce1ec1210f32ca615e52ee154a79efc30c304b247b339c117af0962ebb3fdbfa98dd553ddf453a533c1a004e843ef488329a1d0a9ab24e6ef0213a683b4e SHA512 3090aaf87f230dede1026586331495e517f9d731786df8a8e9931cc0b46c13ef2bd6292271dd9dfc6a0b5ab87a1fd8958f43830778361bf54714451bc8aefaf0
EBUILD dune-site-3.10.0.ebuild 669 BLAKE2B 222c04b28d14d7bc264835d2030cfd2cc4015e2c007d8b067dae5dd1fa7a32d9af623e6e42501dcd690b5c15b39117ebff748ac86de214d313bedd1a72c253e4 SHA512 8178151e0f2d68871b558f45b9b772c7df3d87f4dae48e6c220cd18c3cbff5b4ad505e427653769d8ce5b2f2b3361260770d454159252a7f6e2acc557b0aa290
EBUILD dune-site-3.11.1.ebuild 604 BLAKE2B 64ad5497dd262f727c7cd05be609e57f27eff7cc3e82fde06f5b4a65f596078a2316281c736be7c623aa069c3f5651aa4142c7890b6be5b17d6efc13bed39913 SHA512 7ea816d0992ecdd70ba91b44bed93af21a67cf809b8acb54d253b4a6d1849c4aeddf340597b2f4defeca1c73626f44a21effa447b110b5f073524ae9412f5c42
+EBUILD dune-site-3.13.1.ebuild 623 BLAKE2B 0d6fa86361cbfc8077c6b525a4b873e97b4afcff6b52cc1a83c5833bcc21b96bef1f01f0c2752d22a757d9ae35505decbe8fea6852ae59e410a5c5b204ad0854 SHA512 90322bf898f147f626c7e32f7009c2f25724eae9f3796dd99471038e84363dbf4285d2bce67e320915dafaad976c265baa0857a73dffa2a66878bde0c859a9c1
EBUILD dune-site-3.6.2.ebuild 647 BLAKE2B eb3785b4877a65fc0780447e33d9bb9d8fed0739a4af133c89f3b0faa8bd4341fb2a58da7e19ab326e5ef7cf59e98327b2cf2df80cfb35231309dc6f41165c99 SHA512 6d6dbfc7fee7f97a1f7a96605ec8c63aee82a31ec89a485f93d287f81a60608e5df99f129d3b56c058cf9c9bb390ccdb1a980fdf2e2f7a9f16efeb878cfb5d2a
EBUILD dune-site-3.7.1.ebuild 672 BLAKE2B c71af94e9dfa07f9b76fffb3b633dfc107a413ff2d482c166a71fe8a13d756acf48384d9493876bc79f1e33d49f06a18592638ec075abd37a6ca40dc140d8eed SHA512 597c9c50172a9e761bc7deb42d8021118b334ae516fba349cd99460f0ce7e4285ac3f7cf75f0137bafabbc46063491ead126c963c19a726b3d0210550cdf0013
MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595
diff --git a/dev-ml/dune-site/dune-site-3.13.1.ebuild b/dev-ml/dune-site/dune-site-3.13.1.ebuild
new file mode 100644
index 000000000000..c4983f46bea7
--- /dev/null
+++ b/dev-ml/dune-site/dune-site-3.13.1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embed locations informations inside executable and libraries"
+HOMEPAGE="https://github.com/ocaml/dune"
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+ -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+RDEPEND="
+ >=dev-ml/dune-3.5
+ ~dev-ml/dune-private-libs-${PV}:=[ocamlopt=]
+"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune-compile ${PN}
+}