mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
dev-ml/ppx_optional: drop 0.15.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
parent
5303310c4d
commit
f1b38b3a8d
@ -1,3 +1,2 @@
|
||||
DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
|
||||
DIST ppx_optional-0.16.0.tar.gz 8333 BLAKE2B 1e977c8c06a9db1247d17a4795d7cd849ca6280b2a2367de3ffe7071f18a88d2e0afc1dbbed3e8b1a01b454623e730d2b7b8e4d378ed0e55df016ecc36c8a4cc SHA512 07e812d46aef13e835dfc31e4eab17c656ad98e85843337d8f9361038c78bbcfceedaa64774784ffd84cb11e58c142e6c9bfab6d6c31eddf86b0e860f9a315a5
|
||||
DIST ppx_optional-0.17.0.tar.gz 10620 BLAKE2B a03d469bf38c0d6fc8ef1a395ae83f16c07b95135f12a6d19c9a88628833f3d38df44746c364f006f75b212c35f70a8b449bc6a16547e26d2627e0e59435fe23 SHA512 62ae21deabfb4f9bc967c1405057277e909a53de8ddcc2a12b0f170ad9abd2bda9c0fd208cf9d0d1ede6186ff8972519ef8b9bab26f10fac26bcc8ba1034d947
|
||||
|
||||
@ -1,22 +0,0 @@
|
||||
# Copyright 1999-2023 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
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/$(ver_cut 1-2)"
|
||||
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
|
||||
IUSE="+ocamlopt"
|
||||
|
||||
DEPEND="
|
||||
dev-ml/base:${SLOT}
|
||||
>=dev-ml/ppxlib-0.23.0:=
|
||||
dev-ml/result:=
|
||||
"
|
||||
RDEPEND="${DEPEND}"
|
||||
Loading…
x
Reference in New Issue
Block a user