summaryrefslogtreecommitdiff
path: root/dev-ml/integers
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2021-11-13 13:10:00 +0000
committerV3n3RiX <venerix@koprulu.sector>2021-11-13 13:10:00 +0000
commite9d044d4b9b71200a96adfa280848858c0f468c9 (patch)
tree1bd8ef816043a8cd340f1d774e79553a1a7d31d8 /dev-ml/integers
parentfc2f1018fc323ef2c6572734a9b130427cba76a6 (diff)
gentoo resync : 13.11.2021
Diffstat (limited to 'dev-ml/integers')
-rw-r--r--dev-ml/integers/Manifest4
-rw-r--r--dev-ml/integers/integers-0.5.1.ebuild16
-rw-r--r--dev-ml/integers/metadata.xml4
3 files changed, 23 insertions, 1 deletions
diff --git a/dev-ml/integers/Manifest b/dev-ml/integers/Manifest
index 11e9351db1e5..49de0d371067 100644
--- a/dev-ml/integers/Manifest
+++ b/dev-ml/integers/Manifest
@@ -1,3 +1,5 @@
DIST integers-0.4.0.tar.gz 9980 BLAKE2B ee67c39024d77f4ce20e9ba7e1564b3418397f1e98b9a5f30e238f5c161d7572701e3d824871b46d15b90887d5f3983a9ab440f46e22c4de8cbc68912daea5eb SHA512 73af64654579b27db18c612229044dba094064dc7d36a73f42ffd4ba7040ed326f859f588e7a764bce3b2fd6e9365f9e9f99330ef29bafbe77ca6dcb53d5ed79
+DIST integers-0.5.1.tar.gz 12687 BLAKE2B 37807cf0642ff4b85c91b82d7fa6ee46a242750970123b0d9d3bec7c532d0d6ceceb4b2365cc71e0664068b3fcb99e61e5c6621363cd527237cf3051da813791 SHA512 25d90c41d66a73ca18f2cfb5e13e9b3af57d1712dab108e45cb8e9eeb88f4a2f822e03f05e08832080d4764d46c7e5f116fe48bdf060c6ebd80c3e558de41983
EBUILD integers-0.4.0.ebuild 443 BLAKE2B 2825cc12c8d0ece3c63802e946ff57445bb02b2dd7b702a808bac7331e341bf5b729175f90266db6cfa99341f08925665d904e03324d5e9b44e5a165bab6be13 SHA512 c25a789f367e1080897a3ea998eac8304932968c6ca130580ec3232d2fad98a2b0b479b7bdbffbd46290611baa82e6c6688349c10bfa8d5ef14e564b7155ae4f
-MISC metadata.xml 334 BLAKE2B 9ab9be25846348946d6ecd009ae1d2152522c03c00d79c01befd615f4163b5829c83de7472126c5e49af62dde6b862eab4d5d89e4842240b595ffbdb08252c87 SHA512 9bfb2eac8fdaca6a29bc6cf2ef5e089efa4e6f1463d97f6bc16fbb4df75a6a862ccf3f71cc91f8e5b2f772c1e464139e38ec31fd5d1ac904e8867e6eba315af9
+EBUILD integers-0.5.1.ebuild 446 BLAKE2B 36ce2864b3cba715fe6cc119e059d243c5d54563e8d240a870eb3094adf7eac814743b4d3ecff1d6826b55efb53f62a5f28af20e8117aa4f2fdefb8d528a1fc6 SHA512 e6cad0e0071d73709558b705147982c5b6aec5dbbec7597b65589623a92c4f05d5dee23436ff526c5a9321acd9951189a1ea3a7d01f23d51c939506bc3aa97b8
+MISC metadata.xml 427 BLAKE2B 230565ed0daa87fa10797f03b258e23bac9a01166ee589598b5b240c0b7833b7c73a1b32da7c43c8df6e3767876d0d54b289b74a9e062357bbd05e1164ff10dc SHA512 0d29cb64bb76f1c2443a2dd37aec0db81b5af18d902282dbabca9938d5618dcaddabd22cf083bbf3386b8994563c2e33130353e26054aeccb39e51702b136123
diff --git a/dev-ml/integers/integers-0.5.1.ebuild b/dev-ml/integers/integers-0.5.1.ebuild
new file mode 100644
index 000000000000..fd39106e8921
--- /dev/null
+++ b/dev-ml/integers/integers-0.5.1.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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 ~x86"
+IUSE="+ocamlopt"
diff --git a/dev-ml/integers/metadata.xml b/dev-ml/integers/metadata.xml
index b5afba098fd0..d2297845d0a8 100644
--- a/dev-ml/integers/metadata.xml
+++ b/dev-ml/integers/metadata.xml
@@ -1,6 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<maintainer type="person">
<email>gienah@gentoo.org</email>
<name>Mark Wright</name>