diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-01-21 08:11:21 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-21 09:49:19 +0100 |
commit | 4576614ae6f69e78660154560bef2be9d04474d6 (patch) | |
tree | 5fb3b9aac9153ac7b3be8e0e4ece3fb1b6578bc2 /dev-ml | |
parent | dev-scheme/guile-ssh: bump to 0.16.2 (diff) | |
download | gentoo-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/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/markup/markup-1.0.3.ebuild | 26 |
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 )" |