summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-03-07 18:30:53 +0100
committerAlfredo Tupone <tupone@gentoo.org>2021-03-07 19:00:09 +0100
commitae19928e4ec89e9dd5dcc66dc75b05f5093080ae (patch)
treec0c1f5cd2671c58f1b2af358dd7f882931d4666c /dev-ml/core
parentdev-ml/alcotest: rm old version (diff)
downloadgentoo-ae19928e4ec89e9dd5dcc66dc75b05f5093080ae.tar.gz
gentoo-ae19928e4ec89e9dd5dcc66dc75b05f5093080ae.tar.bz2
gentoo-ae19928e4ec89e9dd5dcc66dc75b05f5093080ae.zip
dev-ml/core: rm old versions
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/core')
-rw-r--r--dev-ml/core/Manifest2
-rw-r--r--dev-ml/core/core-0.9.1-r1.ebuild30
-rw-r--r--dev-ml/core/core-0.9.2.ebuild29
3 files changed, 0 insertions, 61 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index fe7e7fca1c3c..82e5ecf49a8f 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1 @@
DIST core-0.14.0.tar.gz 361607 BLAKE2B 1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3 SHA512 fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
-DIST core-0.9.1.tar.gz 735006 BLAKE2B a85b66c810656aca74fbe82fda37a9d73ca295534b1ea5b2a784aef90c5efb8d571fe449d8b8d1f6c7d7365ed5d20a0a04c4d43374831e358ddc1147cc51f583 SHA512 2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
-DIST core-0.9.2.tar.gz 735027 BLAKE2B d33b91d391446d8649ccb84d72f3533e72d2cdb5aca6359049dca0466ac6d23073dc59bc38bc1c9f7bbe47537731984d41a6ac67e4bf9f59ec7be47938bdfd71 SHA512 8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335
diff --git a/dev-ml/core/core-0.9.1-r1.ebuild b/dev-ml/core/core-0.9.1-r1.ebuild
deleted file mode 100644
index 45cc74eb4553..000000000000
--- a/dev-ml/core/core-0.9.1-r1.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- dev-ml/base:=
- dev-ml/configurator:=
- dev-ml/core_kernel:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_jane:=
- dev-ml/sexplib:=
- dev-ml/spawn:=
- dev-ml/stdio:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"
-PATCHES=( "${FILESDIR}/glibc225.patch" )
diff --git a/dev-ml/core/core-0.9.2.ebuild b/dev-ml/core/core-0.9.2.ebuild
deleted file mode 100644
index d2dbd9555d39..000000000000
--- a/dev-ml/core/core-0.9.2.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- dev-ml/base:=
- dev-ml/configurator:=
- dev-ml/core_kernel:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_jane:=
- dev-ml/sexplib:=
- dev-ml/spawn:=
- dev-ml/stdio:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"