summaryrefslogtreecommitdiff
path: root/dev-ml/dyn
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-10-14 04:04:03 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-10-14 04:04:03 +0100
commit2916cf6049cf9d3092021e247d56c580df6029a7 (patch)
treec796a6fc8b6fd0e4fd5ac06b009000b438fed7d9 /dev-ml/dyn
parent7b5306e0d287565138e8b051e32f57e6af6ae0ed (diff)
gentoo auto-resync : 14:10:2024 - 04:04:03
Diffstat (limited to 'dev-ml/dyn')
-rw-r--r--dev-ml/dyn/Manifest7
-rw-r--r--dev-ml/dyn/dyn-3.10.0.ebuild31
-rw-r--r--dev-ml/dyn/dyn-3.6.2.ebuild31
-rw-r--r--dev-ml/dyn/dyn-3.7.1.ebuild31
-rw-r--r--dev-ml/dyn/metadata.xml11
5 files changed, 0 insertions, 111 deletions
diff --git a/dev-ml/dyn/Manifest b/dev-ml/dyn/Manifest
deleted file mode 100644
index d6e833c7dc4b..000000000000
--- a/dev-ml/dyn/Manifest
+++ /dev/null
@@ -1,7 +0,0 @@
-DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
-DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
-DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
-EBUILD dyn-3.10.0.ebuild 655 BLAKE2B e3c6bd4f4a9d8150280fe7c0ff572e296a3486b465a14051a459ebdc4a05be1ffd7afc47bfc896aa91518e381d4f95b7d4cee346854e7455723e54dbb2627485 SHA512 61b675bfa453b8cf1619b0c79727cad69bd3857878b9993e0c70275447e041673165f6339dd52b01c3d0a5d97a53279361deb41a093e5eeff5f54f4837b2e90c
-EBUILD dyn-3.6.2.ebuild 655 BLAKE2B e9bfb469c6fed1ad2d78f9ffd611b9986dd5f3ad49461b85e4092566c06a062b85d852f474c53e97ef5c7e8901e0f60b2087605fa14378ef3c45f05b4456ba44 SHA512 b1dfcf24583fffbe13147d81e4ac250c0faa990a43771da05a0d7f690faa05676a5142a02756cd9180cc348b06beecd368a43ea127271356a283da117e2645ed
-EBUILD dyn-3.7.1.ebuild 659 BLAKE2B c2c2ef854e283c81600f409fce6e745443d3ac4a81ef099d4ccb9089317482cefdaf65755042503fe1579863e0071057fa73e9da910bff8c9e1fb1c2f3a684f7 SHA512 91226e8f4ea177a86d1e666696ac3795e3ce69cf64e953c37227b5d75aa5afd902df5da295658c2735c6a1140bba835b1cdffb3f5944784684db0e0e98ff7765
-MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dyn/dyn-3.10.0.ebuild b/dev-ml/dyn/dyn-3.10.0.ebuild
deleted file mode 100644
index 231a7e7d7c30..000000000000
--- a/dev-ml/dyn/dyn-3.10.0.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 2022-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Dynamic type"
-HOMEPAGE="https://github.com/ocaml/dune"
-SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
- -> dune-${PV}.tar.gz"
-S="${WORKDIR}/dune-${PV}"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
-IUSE="+ocamlopt"
-RESTRICT="test"
-
-BDEPEND=">=dev-ml/dune-3.5"
-DEPEND="~dev-ml/ordering-${PV}:=
- dev-ml/pp:="
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dyn/dyn-3.6.2.ebuild b/dev-ml/dyn/dyn-3.6.2.ebuild
deleted file mode 100644
index a9cca0b78834..000000000000
--- a/dev-ml/dyn/dyn-3.6.2.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 2022-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Dynamic type"
-HOMEPAGE="https://github.com/ocaml/dune"
-SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
- -> dune-${PV}.tar.gz"
-S="${WORKDIR}/dune-${PV}"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
-IUSE="+ocamlopt"
-RESTRICT="test"
-
-BDEPEND=">=dev-ml/dune-3.5"
-DEPEND="~dev-ml/ordering-${PV}:=
- dev-ml/pp:="
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dyn/dyn-3.7.1.ebuild b/dev-ml/dyn/dyn-3.7.1.ebuild
deleted file mode 100644
index 53cc7fe224bf..000000000000
--- a/dev-ml/dyn/dyn-3.7.1.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 2022-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Dynamic type"
-HOMEPAGE="https://github.com/ocaml/dune"
-SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
- -> dune-${PV}.tar.gz"
-S="${WORKDIR}/dune-${PV}"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
-IUSE="+ocamlopt"
-RESTRICT="test"
-
-BDEPEND=">=dev-ml/dune-3.5"
-DEPEND="~dev-ml/ordering-${PV}:=
- dev-ml/pp:="
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dyn/metadata.xml b/dev-ml/dyn/metadata.xml
deleted file mode 100644
index 86dc156e664c..000000000000
--- a/dev-ml/dyn/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">ocaml/dune</remote-id>
- </upstream>
-</pkgmetadata>