diff options
-rw-r--r-- | dev-ml/async_ssl/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/async_ssl/async_ssl-0.14.0.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/async_ssl/metadata.xml | 8 | ||||
-rw-r--r-- | profiles/package.mask | 5 |
4 files changed, 0 insertions, 42 deletions
diff --git a/dev-ml/async_ssl/Manifest b/dev-ml/async_ssl/Manifest deleted file mode 100644 index 811725b72d2f..000000000000 --- a/dev-ml/async_ssl/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST async_ssl-0.14.0.tar.gz 40338 BLAKE2B eb673f30d7374b539b37c84ba88e0daf8eeeacc93b278a44177a433cb8b336a843cc05e6033ec8ee831ec1c28fc243c8019a82bd495e96a1e54dfd47a3d10b13 SHA512 89397d0066444cbfdd3d4d27942ff04b3adbe2a9cf11427795fcf59127908c94f88c1575f395aa74eee49abb5be2e86940a88945dda6435fb81165bd58b789a7 diff --git a/dev-ml/async_ssl/async_ssl-0.14.0.ebuild b/dev-ml/async_ssl/async_ssl-0.14.0.ebuild deleted file mode 100644 index ab39d4d77063..000000000000 --- a/dev-ml/async_ssl/async_ssl-0.14.0.ebuild +++ /dev/null @@ -1,28 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -DESCRIPTION="An Async-pipe-based interface with OpenSSL." -HOMEPAGE="https://github.com/janestreet/async_ssl" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt" - -RDEPEND=" - dev-lang/ocaml:= - dev-ml/async:= - dev-ml/base:= - dev-ml/core:= - dev-ml/dune-configurator:= - dev-ml/ppx_jane:= - dev-ml/stdio:= - dev-ml/ocaml-ctypes:= - dev-libs/openssl:0= -" -DEPEND="${RDEPEND}" diff --git a/dev-ml/async_ssl/metadata.xml b/dev-ml/async_ssl/metadata.xml deleted file mode 100644 index 536c9f583769..000000000000 --- a/dev-ml/async_ssl/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">janestreet/async_ssl</remote-id> - </upstream> -</pkgmetadata> diff --git a/profiles/package.mask b/profiles/package.mask index c43111daeeef..6a44461e5dcb 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -570,11 +570,6 @@ dev-dotnet/dbus-sharp-glib # Removal on 2021-11-16. app-text/htmlc -# Sam James <sam@gentoo.org> (2021-10-15) -# Drop broken packages with no reverse dependencies -# Removal on 2021-11-15. bug #817965, bug #771756, bug #767196 -dev-ml/async_ssl - # Sam James <sam@gentoo.org> (2021-10-10) # Needs upstream build system fixes (currently in progress). # Python toggles don't work correctly right now. |