summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-02-20 17:26:04 +0100
committerAlfredo Tupone <tupone@gentoo.org>2021-02-20 17:26:04 +0100
commita6459f1bea5ccf0baafd31706685a7766be6d66a (patch)
treef704d6dad8370a148551f61f72ee6aca525751bf /dev-ml/ppx_tools_versioned
parentdev-python/hypothesis: Bump to 6.3.0 (diff)
downloadgentoo-a6459f1bea5ccf0baafd31706685a7766be6d66a.tar.gz
gentoo-a6459f1bea5ccf0baafd31706685a7766be6d66a.tar.bz2
gentoo-a6459f1bea5ccf0baafd31706685a7766be6d66a.zip
dev-ml/ppx_tools_versioned: version bump
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
-rw-r--r--dev-ml/ppx_tools_versioned/Manifest1
-rw-r--r--dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.2.2.ebuild25
2 files changed, 26 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
index 729534d88fa4..52cd59da8081 100644
--- a/dev-ml/ppx_tools_versioned/Manifest
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -1 +1,2 @@
DIST ppx_tools_versioned-5.0.1.tar.gz 43741 BLAKE2B 0ff7dc5a03265a7e9fea6bebe372cee993f35d2d2ec451d5f77a1c7de51f91526bf15817882ff93033b3fcd51014efa12841a92cedf243870a22790f00807e9e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb
+DIST ppx_tools_versioned-5.2.2.tar.gz 60068 BLAKE2B 0b965d2124852e8ea3c8f4187ef320a3054eab4f969bfd64f4bb647e1381cc6f571b74d5176a6da59003ada89982a63b605f45231fb0bbf4ebec7da959e76d1e SHA512 68c168ebc01af46fe8766ad7e36cc778caabb97d8eb303db284d106450cb79974c2a640ce459e197630b9e84b02caa24b59c97c9a8d39ddadc7efc7284e42a70
diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.2.2.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.2.2.ebuild
new file mode 100644
index 000000000000..78043c28ed6d
--- /dev/null
+++ b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.2.2.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+MY_PV=${PV/_/}
+MY_P=${PN}-${MY_PV}
+
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/let-def/ppx_tools_versioned"
+SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz -> ${MY_P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-lang/ocaml:=
+ <dev-ml/ocaml-migrate-parsetree-2.0.0:=
+"
+RDEPEND="${DEPEND}"
+S="${WORKDIR}/${MY_P}"