diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/xmlm | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/xmlm')
| -rw-r--r-- | dev-ml/xmlm/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/xmlm/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/xmlm/xmlm-1.3.0.ebuild | 32 |
3 files changed, 0 insertions, 43 deletions
diff --git a/dev-ml/xmlm/Manifest b/dev-ml/xmlm/Manifest deleted file mode 100644 index f7433e763e02..000000000000 --- a/dev-ml/xmlm/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST xmlm-1.3.0.tbz 25176 BLAKE2B 546f433386101c2460b0a8cadf94e383269e81792d068fa4c85d78117a5e65a64bd5e2fac0a5857d6bdefc7c511ae98cc77410b276ecb0300baf73d70ccb2251 SHA512 fd3b9ba8cd12321fd8d56e9ce829a7c8b121bff11cbf7ede58fa0280302fe0ba64f510360ff5b5182591faef660792db66db36e45f6355e3d22bb521f8e308fe -EBUILD xmlm-1.3.0.ebuild 608 BLAKE2B cc35be3a9f9642658caef26b821b325e301d328ec0306ac99e449ee4807c668b50afb2586ec7c7216ff617e25f45d8c733b0cb560ae96f47c7bfdfe70e49ff84 SHA512 5e184efd7f93059736a8ba4f6dfe2c59449da4db022cdcdac4f15fa761d5732273a745ccbd575bb664cdb099cf05c15aa7162425c265abf4b9ff3f6a8773d8ca -MISC metadata.xml 245 BLAKE2B b43340c7f08c23e6723a9b766f329ae207ee8ed07bdabff92b9155cfdc674eeb0f08b44dc0163c8e2cc578fc3ac4a9d571096d0a8a8e7967a95833e14b21ec76 SHA512 5037a99aa4d9a4085ac4c19802d1d8fd2f655f694ad8559fa97c36fbb49c7b708561146ddf0c5887ef4cdd5ce72a5e83ca4bd93fca34ec1cabe30bd151a1f778 diff --git a/dev-ml/xmlm/metadata.xml b/dev-ml/xmlm/metadata.xml deleted file mode 100644 index d4dfc849f60e..000000000000 --- a/dev-ml/xmlm/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">dbuenzli/xmlm</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/xmlm/xmlm-1.3.0.ebuild b/dev-ml/xmlm/xmlm-1.3.0.ebuild deleted file mode 100644 index a479aa210a1e..000000000000 --- a/dev-ml/xmlm/xmlm-1.3.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit opam - -DESCRIPTION="Ocaml XML manipulation module" -HOMEPAGE="http://erratique.ch/software/xmlm https://github.com/dbuenzli/xmlm" -SRC_URI="http://erratique.ch/software/${PN}/releases/${P}.tbz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="test" -RESTRICT="!test? ( test )" - -RDEPEND="" -DEPEND="${RDEPEND} - dev-ml/findlib - >=dev-ml/topkg-0.9 -" - -src_compile() { - ocaml pkg/pkg.ml build \ - --tests $(usex test 'true' 'false') \ - || die -} - -src_test() { - ocaml pkg/pkg.ml test || die -} |