diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-04 05:35:26 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-04 05:35:26 -0500 |
| commit | f716a9fe6455d39eef01e718aae68dae61c19704 (patch) | |
| tree | 0c52bbae1c242fbc296bd650fcd1167685f81492 /dev-ml/ppx_cold | |
| parent | 3f9cf298e89cd5037b982abba06091224ee76daf (diff) | |
| download | baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.tar.gz baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.tar.xz baldeagleos-repo-f716a9fe6455d39eef01e718aae68dae61c19704.zip | |
Adding metadata
Diffstat (limited to 'dev-ml/ppx_cold')
| -rw-r--r-- | dev-ml/ppx_cold/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_cold/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild | 23 | ||||
| -rw-r--r-- | dev-ml/ppx_cold/ppx_cold-0.17.0-r1.ebuild | 26 |
4 files changed, 0 insertions, 62 deletions
diff --git a/dev-ml/ppx_cold/Manifest b/dev-ml/ppx_cold/Manifest deleted file mode 100644 index 8bba2c4a97d8..000000000000 --- a/dev-ml/ppx_cold/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -DIST ppx_cold-0.16.0.tar.gz 3814 BLAKE2B fc75c4a32e9d8c3175e6a05f1f03d9c475eed7949fca4ad71ac21a4da881840b1c74133417d3354ecb3cbd7fe6b5a57238ef6d2dc97816f2f6659ea7b08bc7f4 SHA512 816358747bf4e4d92b6d5fa7bc31691897f6fb88336000a5e40b86250911b2efa203f6465d77b24f0147312bfd779de49822c5ea7a2a87df49d754b8c6e30821 -DIST ppx_cold-0.17.0.tar.gz 3763 BLAKE2B 549c86b0452779380046c6167e048a302924cb1d2fff90577be2c52244b40c89eb0036214a4ad85b1bc9b658e6a31cccebe11d62d3b94728f63a0725e61d97aa SHA512 d9ab24c7a11d0113d893f6c34986763fe56b7dd7c3e924dd3751224518fe199cb52fac26f5eb86fa58716bd7f5190ebd7f00d0e32df3f4d033b4fc88af1c1266 diff --git a/dev-ml/ppx_cold/metadata.xml b/dev-ml/ppx_cold/metadata.xml deleted file mode 100644 index 6da21e1a9149..000000000000 --- a/dev-ml/ppx_cold/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?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> - <upstream> - <remote-id type="github">janestreet/ppx_cold</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild b/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild deleted file mode 100644 index d51ebdb25ab3..000000000000 --- a/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Expands [@cold] into [@inline never][@specialise never][@local never]" -HOMEPAGE="https://github.com/janestreet/ppx_cold" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" -IUSE="+ocamlopt" - -DEPEND=" - >=dev-lang/ocaml-4.14 - dev-ml/base:${SLOT} - dev-ml/findlib:= - >=dev-ml/ppxlib-0.28.0:= -" -RDEPEND="${DEPEND}" diff --git a/dev-ml/ppx_cold/ppx_cold-0.17.0-r1.ebuild b/dev-ml/ppx_cold/ppx_cold-0.17.0-r1.ebuild deleted file mode 100644 index 91248d3a7b16..000000000000 --- a/dev-ml/ppx_cold/ppx_cold-0.17.0-r1.ebuild +++ /dev/null @@ -1,26 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Expands [@cold] into [@inline never][@specialise never][@local never]" -HOMEPAGE="https://github.com/janestreet/ppx_cold" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64 ~riscv" -IUSE="+ocamlopt" - -# Jane Street Minor -JSM=$(ver_cut 1-2)* - -DEPEND=" - >=dev-lang/ocaml-5 - =dev-ml/base-${JSM}:=[ocamlopt?] - >=dev-ml/ppxlib-0.32.1:=[ocamlopt?] -" -RDEPEND="${DEPEND}" -BDEPEND=">=dev-ml/dune-3.11" |