summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-01-21 08:11:21 +0100
committerMaciej Barć <xgqt@gentoo.org>2023-01-21 09:49:19 +0100
commit4576614ae6f69e78660154560bef2be9d04474d6 (patch)
tree5fb3b9aac9153ac7b3be8e0e4ece3fb1b6578bc2 /dev-ml
parentdev-scheme/guile-ssh: bump to 0.16.2 (diff)
downloadgentoo-4576614ae6f69e78660154560bef2be9d04474d6.tar.gz
gentoo-4576614ae6f69e78660154560bef2be9d04474d6.tar.bz2
gentoo-4576614ae6f69e78660154560bef2be9d04474d6.zip
dev-ml/markup: bump to 1.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/markup/Manifest1
-rw-r--r--dev-ml/markup/markup-1.0.3.ebuild26
2 files changed, 27 insertions, 0 deletions
diff --git a/dev-ml/markup/Manifest b/dev-ml/markup/Manifest
index b6e98a4a6efc..0717eb30a587 100644
--- a/dev-ml/markup/Manifest
+++ b/dev-ml/markup/Manifest
@@ -1,2 +1,3 @@
DIST markup-1.0.0.tar.gz 280927 BLAKE2B cdf670e97c9f6e9b514d98f19a50bb4915c0c434a4ca27ac71be36f3893ed049eef8c0b5f48893e3f247938283272ff0c03d24743d679ef5e0296f7059131c58 SHA512 6383ed24fd86be0f6a64d9386b547d323fa0e763571ff3e7405119173c6ac6a7ed043bc0d35afd6e933101f22ed4b2f8baa08ba07d3df57a68015caaf79030ab
DIST markup-1.0.2.tar.gz 281957 BLAKE2B 04094edf2b6e7cec8de8e1d2ebc9c43b55aa18ccd7c38ee07217a7578764e1b919da8f30b3855d04deb75862be9c429ddf2c24c7a8a2baa2ed01921514f3b334 SHA512 6a04240da095a7557932e26b8f20979e0a8dc4ef2b5ce98aac7dfcaf82f0350397633120b638f76efd2a30a482a2381566b66a35c0585535e225f44004539b87
+DIST markup-1.0.3.tar.gz 281554 BLAKE2B 71e6719c83ea0b456bb72ac469f11f8aab849098728431cf65e63f3484d98957250cec95a6c78e1bb586768f07fdf91bd4a8dc8195815b0bee836ce7c59fd2c8 SHA512 1bb030fa2d79f7a7ac2d04c07c72a39e83620757b1d7d8a33eea1ec9b4c32883a67de45d1eea9bfa6533ae8076009fab9af5f180ad2be9c1fef66e3e5937048a
diff --git a/dev-ml/markup/markup-1.0.3.ebuild b/dev-ml/markup/markup-1.0.3.ebuild
new file mode 100644
index 000000000000..09cc6d2dcf7a
--- /dev/null
+++ b/dev-ml/markup/markup-1.0.3.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Error-recovering streaming HTML5 and XML parsers"
+HOMEPAGE="https://github.com/aantron/markup.ml"
+SRC_URI="https://github.com/aantron/markup.ml/archive/${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}.ml-${PV}
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ dev-ml/lwt:=
+ dev-ml/uchar:=
+ dev-ml/uutf:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="test? ( dev-ml/ounit2 )"