diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-12 11:50:53 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-12 11:50:53 -0500 |
| commit | 290aebdea65a02557706eaeda477fef0437b6a48 (patch) | |
| tree | f87a939169a508a2e943570501b64cc16b411cda /dev-ml/core_kernel | |
| parent | 6783ddcd4b73d9ce586a71770caed352bec93b16 (diff) | |
| download | baldeagleos-repo-290aebdea65a02557706eaeda477fef0437b6a48.tar.gz baldeagleos-repo-290aebdea65a02557706eaeda477fef0437b6a48.tar.xz baldeagleos-repo-290aebdea65a02557706eaeda477fef0437b6a48.zip | |
Adding metadata
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 58 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.17.0-r1.ebuild | 33 | ||||
| -rw-r--r-- | dev-ml/core_kernel/metadata.xml | 17 |
4 files changed, 0 insertions, 110 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest deleted file mode 100644 index c4e07eac6fe4..000000000000 --- a/dev-ml/core_kernel/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -DIST core_kernel-0.16.0.tar.gz 276775 BLAKE2B 3e64ff9291c01b7f9d48a70e3106b09d96040b41720f36cc36d2067cf195451a0c948991f55b930bb6f58e28d75f47f21367785c2c06ac8459de0f72bf05f961 SHA512 a6cf486694514ea4393aa6b2bf688b4a21fd97238d22ddfa99af30ee478be23255d67f87c16115df03ceb3a7bf4726e92d0c01be0abb2308f36c027a5ab4bc04 -DIST core_kernel-0.17.0.tar.gz 285870 BLAKE2B d49d6e987502a3830a1b49d67ae3a05779298b6d2cbd3537dc9f9f0941298c0f4c9b76722678f32a4808fde95909d83afa45126f36853346f247a70841448226 SHA512 03ec1e78b53580cfe0e032e1e519dc1f02a14817c18e0db670a5c87696c9ffd919601da3ba3b674d308a190451ba6b539469a59f97bb5af42475f00e8132c16e diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild deleted file mode 100644 index fbff9c2b3e9e..000000000000 --- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild +++ /dev/null @@ -1,58 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="System-independent part of Core" -HOMEPAGE="https://github.com/janestreet/core_kernel" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1-with-linking-exception" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" -IUSE="+ocamlopt" - -# Wants quickcheck_deprecated for now -RESTRICT="test" - -RDEPEND=" - >=dev-lang/ocaml-4.14 - dev-ml/base_quickcheck:= - dev-ml/core:${SLOT} - dev-ml/int_repr:${SLOT} - dev-ml/ppx_assert:= - dev-ml/ppx_bench:= - dev-ml/ppx_bin_prot:= - dev-ml/ppx_cold:= - dev-ml/ppx_compare:= - dev-ml/ppx_custom_printf:= - dev-ml/ppx_disable_unused_warnings:= - dev-ml/ppx_enumerate:= - dev-ml/ppx_expect:= - dev-ml/ppx_fields_conv:= - dev-ml/ppx_fixed_literal:= - dev-ml/ppx_globalize:= - dev-ml/ppx_hash:= - dev-ml/ppx_here:= - dev-ml/ppx_ignore_instrumentation:= - dev-ml/ppx_inline_test:= - dev-ml/ppx_let:= - dev-ml/ppx_log:= - dev-ml/ppx_module_timer:= - dev-ml/ppx_optcomp:${SLOT} - dev-ml/ppx_optional:= - dev-ml/ppx_pipebang:= - dev-ml/ppx_sexp_conv:= - dev-ml/ppx_sexp_message:= - dev-ml/ppx_sexp_value:= - dev-ml/ppx_stable:= - dev-ml/ppx_stable_witness:= - dev-ml/ppx_string:= - dev-ml/ppx_tydi:= - dev-ml/ppx_typerep_conv:= - dev-ml/ppx_variants_conv:= - dev-ml/ppxlib:= -" -DEPEND="${RDEPEND}" diff --git a/dev-ml/core_kernel/core_kernel-0.17.0-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.17.0-r1.ebuild deleted file mode 100644 index e98c48a0be04..000000000000 --- a/dev-ml/core_kernel/core_kernel-0.17.0-r1.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="System-independent part of Core" -HOMEPAGE="https://github.com/janestreet/core_kernel" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1-with-linking-exception" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64 ~riscv" -IUSE="+ocamlopt" - -# Wants quickcheck_deprecated for now -RESTRICT="test" - -# Jane Street Minor -JSM=$(ver_cut 1-2)* - -RDEPEND=" - >=dev-lang/ocaml-5 - =dev-ml/base-${JSM}:=[ocamlopt?] - =dev-ml/core-${JSM}:=[ocamlopt?] - =dev-ml/int_repr-${JSM}:=[ocamlopt?] - =dev-ml/ppx_jane-${JSM}:=[ocamlopt?] - =dev-ml/ppx_optcomp-${JSM}:=[ocamlopt?] - =dev-ml/uopt-${JSM}:=[ocamlopt?] -" -DEPEND="${RDEPEND}" -BDEPEND=">=dev-ml/dune-3.11" diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml deleted file mode 100644 index bdba23fda3ad..000000000000 --- a/dev-ml/core_kernel/metadata.xml +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://docs.baldeagleos.com/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>ml@gentoo.org</email> - <name>ML</name> - </maintainer> - <longdescription lang="en"> - Core_kernel is the system-independent part of Core. It is aimed for - cases when the full Core is not available, such as in Javascript. It - provides an overlay on the usual namespace, so the best way to use - Core is to start your file with: - - open Core_kernel.Std - </longdescription> - <origin>baldeagleos-repo</origin> -</pkgmetadata> |
