commit: 99ff9b761158193d74b8e7d198623bc449371381 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Sep 23 00:08:14 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Sep 23 00:09:40 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99ff9b76
dev-ml/pprint: bump to 20220103 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/pprint/Manifest | 1 + dev-ml/pprint/pprint-20220103.ebuild | 15 +++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/dev-ml/pprint/Manifest b/dev-ml/pprint/Manifest index 3a38bd294900..f570a9b665e2 100644 --- a/dev-ml/pprint/Manifest +++ b/dev-ml/pprint/Manifest @@ -1 +1,2 @@ DIST pprint-20211129.tar.gz 42778 BLAKE2B b5becf959d750e07ecf12c58cf6f41ff10f841d8034e9f89544b28e81eefdf564e2144a102fa918256736bb092de454eba13dfa38363e1ed230742eb95817e9d SHA512 12133735f558075f1ecdcec16cc11f7237dd82883c542645c479f534acd8ed6935f05a3f9aad8e330c329520852bdff6d420d632636bd9004a4d0aade762cae6 +DIST pprint-20220103.tar.gz 47809 BLAKE2B c581370be13f45d2d97a9fe7a6f7e81fc033a33a2f1740dcc808ce388356554506c00393efb05937b5833ae19fbf01c1fc9d013024d11724ef323110925bce88 SHA512 1c4d85e529414dc2d52602fae7e44ca036d2d35e9ce1906fd88b0f8a8d0ba1527042b0e5117fdeb51237b2311020a711065a917cc158b63e2ac932c97fa28406 diff --git a/dev-ml/pprint/pprint-20220103.ebuild b/dev-ml/pprint/pprint-20220103.ebuild new file mode 100644 index 000000000000..1b02c9dd5c4e --- /dev/null +++ b/dev-ml/pprint/pprint-20220103.ebuild @@ -0,0 +1,15 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A pretty-printing combinator library and rendering engine" +HOMEPAGE="https://github.com/fpottier/pprint/"; +SRC_URI="https://github.com/fpottier/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2 LGPL-2-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt"
