summaryrefslogtreecommitdiff
path: root/dev-ml/integers
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-07-19 08:38:29 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-07-19 08:38:29 +0100
commitdbb637a643576bbb9286907cd6c73e3cda3ca1f6 (patch)
treee2431b0c6a4b1c6787601ecc675d72401b00cd3a /dev-ml/integers
parentb5c8e7977a8950fe976559fbed28db9c0bcd3d6f (diff)
gentoo auto-resync : 19:07:2022 - 08:38:29
Diffstat (limited to 'dev-ml/integers')
-rw-r--r--dev-ml/integers/Manifest2
-rw-r--r--dev-ml/integers/integers-0.7.0.ebuild20
2 files changed, 22 insertions, 0 deletions
diff --git a/dev-ml/integers/Manifest b/dev-ml/integers/Manifest
index 6c5969e63aac..d25dcf1eb5b5 100644
--- a/dev-ml/integers/Manifest
+++ b/dev-ml/integers/Manifest
@@ -1,5 +1,7 @@
DIST integers-0.4.0.tar.gz 9980 BLAKE2B ee67c39024d77f4ce20e9ba7e1564b3418397f1e98b9a5f30e238f5c161d7572701e3d824871b46d15b90887d5f3983a9ab440f46e22c4de8cbc68912daea5eb SHA512 73af64654579b27db18c612229044dba094064dc7d36a73f42ffd4ba7040ed326f859f588e7a764bce3b2fd6e9365f9e9f99330ef29bafbe77ca6dcb53d5ed79
DIST integers-0.5.1.tar.gz 12687 BLAKE2B 37807cf0642ff4b85c91b82d7fa6ee46a242750970123b0d9d3bec7c532d0d6ceceb4b2365cc71e0664068b3fcb99e61e5c6621363cd527237cf3051da813791 SHA512 25d90c41d66a73ca18f2cfb5e13e9b3af57d1712dab108e45cb8e9eeb88f4a2f822e03f05e08832080d4764d46c7e5f116fe48bdf060c6ebd80c3e558de41983
+DIST integers-0.7.0.tar.gz 12758 BLAKE2B 26244bb4fd6556c4e8e493180211a778552b84ae2de269b02d3094960fe7ab059a83f01263ee9e654e2e0c83195087bae621d7b60efde5eac519f9aae3a962fa SHA512 f71bf73af2e4e0dd5bd039b28bce1fdabfb199ada1836d694814aa6d0c1c2d205531fbfc05581082b2dbb1e9cc0948e594915d5ad6a1cfa1dbffa9e44a7a7450
EBUILD integers-0.4.0.ebuild 443 BLAKE2B 2825cc12c8d0ece3c63802e946ff57445bb02b2dd7b702a808bac7331e341bf5b729175f90266db6cfa99341f08925665d904e03324d5e9b44e5a165bab6be13 SHA512 c25a789f367e1080897a3ea998eac8304932968c6ca130580ec3232d2fad98a2b0b479b7bdbffbd46290611baa82e6c6688349c10bfa8d5ef14e564b7155ae4f
EBUILD integers-0.5.1.ebuild 465 BLAKE2B b06b31740a247f0e386a10aad09e55e52e4cdb31351775163dea4f6a4259963f0bca0038c1dafd0ce3e8bcf150e143ad840fc3925f3c409df8c2543a9fc5f495 SHA512 e5cd7d824afed6e32f68b110a898e40d61bf48b30321c5592df376cae7199afb979ad01c0b4fe1d898c155facfa395857fd3afbbdb444d023e1ab407a6c44a2f
+EBUILD integers-0.7.0.ebuild 519 BLAKE2B 49c5e6c10177a4bb79c454c47935b5d20bd6b2e54ecfb1d41e68be70ad82f4774b89a4fc7f057c30ed25623869e5bfdf6744f3a58327303effb54c3853464c46 SHA512 1145e408465d3c404cdb4b30f0ec99482ca476b850aa2d609455ab1fb8563bf9e8004884a95f6827dac42cd0b9c62277fa0ca6b399e2c4315bea4a982e3ecd58
MISC metadata.xml 427 BLAKE2B 230565ed0daa87fa10797f03b258e23bac9a01166ee589598b5b240c0b7833b7c73a1b32da7c43c8df6e3767876d0d54b289b74a9e062357bbd05e1164ff10dc SHA512 0d29cb64bb76f1c2443a2dd37aec0db81b5af18d902282dbabca9938d5618dcaddabd22cf083bbf3386b8994563c2e33130353e26054aeccb39e51702b136123
diff --git a/dev-ml/integers/integers-0.7.0.ebuild b/dev-ml/integers/integers-0.7.0.ebuild
new file mode 100644
index 000000000000..03524e4bb5de
--- /dev/null
+++ b/dev-ml/integers/integers-0.7.0.ebuild
@@ -0,0 +1,20 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Various signed and unsigned integer types for OCaml"
+HOMEPAGE="https://github.com/ocamllabs/ocaml-integers"
+SRC_URI="https://github.com/ocamllabs/ocaml-integers/archive/${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/ocaml-${P}
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/stdlib-shims:="
+DEPEND="${RDEPEND}"