summaryrefslogtreecommitdiff
path: root/dev-ml/jane-street-headers
diff options
context:
space:
mode:
authorroot <root@alpha.trunkmasters.com>2026-06-04 16:24:49 -0500
committerroot <root@alpha.trunkmasters.com>2026-06-04 16:24:49 -0500
commita3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 (patch)
tree0c52bbae1c242fbc296bd650fcd1167685f81492 /dev-ml/jane-street-headers
parentbfd9c39e4712ebdb442d4ca0673061faed1e70e1 (diff)
downloadbaldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.gz
baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.xz
baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.zip
Adding metadata
Diffstat (limited to 'dev-ml/jane-street-headers')
-rw-r--r--dev-ml/jane-street-headers/Manifest2
-rw-r--r--dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild18
-rw-r--r--dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild19
-rw-r--r--dev-ml/jane-street-headers/metadata.xml11
4 files changed, 0 insertions, 50 deletions
diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
deleted file mode 100644
index b86b5724e009..000000000000
--- a/dev-ml/jane-street-headers/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24
-DIST jane-street-headers-0.17.0.tar.gz 4940 BLAKE2B 21a6bd6ad436bac7afa9d051be26841bcef41d17ac88c9cb4d60417f5745130c6c252a6be8f6a38eb58f19f02c951243cfc5c971db67a0e6cba43d587291f0eb SHA512 200fafcbbdb86a5f183b42c7540f334ea77c0f879c793c18166c9c715500d603b22763787d8140cbcbd4eb3c6e0269bf3d3c380db67cf5b19776bd57daf379f1
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild
deleted file mode 100644
index 22bb120cb5e0..000000000000
--- a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild
+++ /dev/null
@@ -1,18 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Jane Street header files"
-HOMEPAGE="https://github.com/janestreet/jane-street-headers"
-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"
-RDEPEND="${DEPEND}"
diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild
deleted file mode 100644
index f498fc7f2ffe..000000000000
--- a/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild
+++ /dev/null
@@ -1,19 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Jane Street header files"
-HOMEPAGE="https://github.com/janestreet/jane-street-headers"
-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"
-
-RDEPEND=">=dev-lang/ocaml-5"
-DEPEND="${RDEPEND}"
-BDEPEND=">=dev-ml/dune-3.11"
diff --git a/dev-ml/jane-street-headers/metadata.xml b/dev-ml/jane-street-headers/metadata.xml
deleted file mode 100644
index 6ed2702997a2..000000000000
--- a/dev-ml/jane-street-headers/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/jane-street-headers</remote-id>
- </upstream>
-</pkgmetadata>