diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-03-07 19:06:55 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-03-07 19:22:01 +0100 |
commit | 102b928ee3299528f36f597b42a65484aef338d8 (patch) | |
tree | f7eef357e4bcea9b5673476a7dc6c6e1b8ffe3db /dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | |
parent | dev-ml/ppx_pipebang: rm old version (diff) | |
download | gentoo-102b928ee3299528f36f597b42a65484aef338d8.tar.gz gentoo-102b928ee3299528f36f597b42a65484aef338d8.tar.bz2 gentoo-102b928ee3299528f36f597b42a65484aef338d8.zip |
dev-ml/ppx_optional: rm old version
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild')
-rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild deleted file mode 100644 index 55a77ef14936..000000000000 --- a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Pattern matching on flat options" -HOMEPAGE="https://github.com/janestreet/ppx_optional" -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="" - -DEPEND=" - dev-ml/ppx_core:= - dev-ml/ppx_driver:= - dev-ml/ppx_metaquot:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |