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 | |
| 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')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 7782ba09d705..570af5344c3b 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1,2 +1 @@ DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40 -DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0 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" |