summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-05 19:52:41 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-05 19:52:59 +0200
commit76c459a4cb95eefdd388a5f008da8a5cdd863638 (patch)
tree464f65986852cc33f05c8bea6b7e1606768b6d61 /dev-ml
parentdev-ml/camlp5: rebuild after test (diff)
downloadgentoo-76c459a4cb95eefdd388a5f008da8a5cdd863638.tar.gz
gentoo-76c459a4cb95eefdd388a5f008da8a5cdd863638.tar.bz2
gentoo-76c459a4cb95eefdd388a5f008da8a5cdd863638.zip
dev-ml/dune-private-libs: drop versions
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/dune-private-libs/Manifest7
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild38
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.6.1.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.7.0.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.8.0.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.9.0.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.9.1.ebuild36
8 files changed, 0 insertions, 261 deletions
diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest
index 2b2296c9dc76..b361601f6c4f 100644
--- a/dev-ml/dune-private-libs/Manifest
+++ b/dev-ml/dune-private-libs/Manifest
@@ -1,13 +1,6 @@
DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233f43a804b0b9b677a6eadda25aa20f52799c90910d361e4bc565636a50d218ad5d0a9927239adc5be36b3889 SHA512 13b36eb6a943f9513987a23dab467b2e449cc3a4de35227f8323c3c724b27f19daac500602141ab22a04579243333c8484ce27a7f73e46a72e796d30fb1c3253
DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
-DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
-DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
-DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
-DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239
DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
-DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98
-DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070
-DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild
deleted file mode 100644
index 5000ebb7def9..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild
+++ /dev/null
@@ -1,38 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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"
-DEPEND="
- >=dev-ml/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- ./configure \
- --libdir="$(ocamlc -where)" \
- --mandir="/usr/share/man" \
- || die
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild
deleted file mode 100644
index 40c7495b31a2..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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"
-DEPEND="
- >=dev-ml/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.6.1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.6.1.ebuild
deleted file mode 100644
index ed9004236c37..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.6.1.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.7.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.7.0.ebuild
deleted file mode 100644
index 797e233bbac6..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.7.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.8.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.8.0.ebuild
deleted file mode 100644
index 797e233bbac6..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.8.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.9.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.9.0.ebuild
deleted file mode 100644
index 797e233bbac6..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.9.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.9.1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.9.1.ebuild
deleted file mode 100644
index 797e233bbac6..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.9.1.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Private libraries of Dune"
-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/csexp-1.5:=[ocamlopt?]
- dev-ml/pp:=[ocamlopt?]
- ~dev-ml/dyn-${PV}:=[ocamlopt?]
- ~dev-ml/stdune-${PV}:=[ocamlopt?]
- >=dev-lang/ocaml-4.08
-"
-RDEPEND="${DEPEND}"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
-}