summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-15 03:16:33 +0000
committerSam James <sam@gentoo.org>2021-03-15 04:02:02 +0000
commitb71783086519a86406a67a494f6fd3e4a8175eab (patch)
tree97365d9cf908acbf67858d2921a9853f06d27867 /dev-ml
parentdev-ml/dune-private-libs: drop 2.7.1 (diff)
downloadgentoo-b71783086519a86406a67a494f6fd3e4a8175eab.tar.gz
gentoo-b71783086519a86406a67a494f6fd3e4a8175eab.tar.bz2
gentoo-b71783086519a86406a67a494f6fd3e4a8175eab.zip
dev-ml/dune-configurator: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/dune-configurator/Manifest1
-rw-r--r--dev-ml/dune-configurator/dune-configurator-2.7.1.ebuild31
2 files changed, 0 insertions, 32 deletions
diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest
index 30bb206eaf03..f8470c9f312d 100644
--- a/dev-ml/dune-configurator/Manifest
+++ b/dev-ml/dune-configurator/Manifest
@@ -1,3 +1,2 @@
-DIST dune-2.7.1.tar.gz 1290915 BLAKE2B 85a2dee92d1ead03b43b80742c291f4470dd9e1d843fdb257754c567e2329c101d11b42573da19de537f0d8591ebdacfcaab1099e0f46bdeebcd8421eb1bbcb2 SHA512 b77d0e207263107365e5a6e94423e8ab4ddbab1f920872d915e4014b7cc69915274b53fe946bb4b29dfe3de2bf5573ab3b2bffb4db8eb50b472e7dfb6cab88b7
DIST dune-2.8.2.tar.gz 1369417 BLAKE2B d846d35675a18abc3ccc57a52574d81a8fb4f082d9935912f035061c1107b47be8752daeb9c49bb2af4877e419a6c8bc30f846db6d773cf5267d3d761272a872 SHA512 fcbe45ea59492517e0868bf1f801c2bd2f3b1b30234e36d789c33e7ee48bd724726beb211697f3820609bbc27923c8c37d7be89dcbd059558014743360f2d0b7
DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233f43a804b0b9b677a6eadda25aa20f52799c90910d361e4bc565636a50d218ad5d0a9927239adc5be36b3889 SHA512 13b36eb6a943f9513987a23dab467b2e449cc3a4de35227f8323c3c724b27f19daac500602141ab22a04579243333c8484ce27a7f73e46a72e796d30fb1c3253
diff --git a/dev-ml/dune-configurator/dune-configurator-2.7.1.ebuild b/dev-ml/dune-configurator/dune-configurator-2.7.1.ebuild
deleted file mode 100644
index 081e961014de..000000000000
--- a/dev-ml/dune-configurator/dune-configurator-2.7.1.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="A composable build system for OCaml"
-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 x86"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-DEPEND="
- ~dev-ml/dune-private-libs-${PV}:=
- dev-ml/csexp:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND}
- test? (
- dev-ml/ppx_expect
- )"
-
-src_configure(){
- :
-}