diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-22 14:16:04 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-22 16:09:43 +0200 |
| commit | 3955f5c329ce5d3b609af982c62cfca9561fddee (patch) | |
| tree | ca160dc2b9c8870449a26954615a6bc8030e0bef /dev-ml | |
| parent | dev-ml/batteries: drop old 3.4.0 (diff) | |
| download | gentoo-3955f5c329ce5d3b609af982c62cfca9561fddee.tar.gz gentoo-3955f5c329ce5d3b609af982c62cfca9561fddee.tar.bz2 gentoo-3955f5c329ce5d3b609af982c62cfca9561fddee.zip | |
dev-ml/pprint: bump to 20230830
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/pprint/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/pprint/pprint-20230830.ebuild | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/pprint/Manifest b/dev-ml/pprint/Manifest index f570a9b665e2..0b85cf00968f 100644 --- a/dev-ml/pprint/Manifest +++ b/dev-ml/pprint/Manifest @@ -1,2 +1,3 @@ DIST pprint-20211129.tar.gz 42778 BLAKE2B b5becf959d750e07ecf12c58cf6f41ff10f841d8034e9f89544b28e81eefdf564e2144a102fa918256736bb092de454eba13dfa38363e1ed230742eb95817e9d SHA512 12133735f558075f1ecdcec16cc11f7237dd82883c542645c479f534acd8ed6935f05a3f9aad8e330c329520852bdff6d420d632636bd9004a4d0aade762cae6 DIST pprint-20220103.tar.gz 47809 BLAKE2B c581370be13f45d2d97a9fe7a6f7e81fc033a33a2f1740dcc808ce388356554506c00393efb05937b5833ae19fbf01c1fc9d013024d11724ef323110925bce88 SHA512 1c4d85e529414dc2d52602fae7e44ca036d2d35e9ce1906fd88b0f8a8d0ba1527042b0e5117fdeb51237b2311020a711065a917cc158b63e2ac932c97fa28406 +DIST pprint-20230830.tar.gz 52012 BLAKE2B c5ece9c608c04c3556fa2b6c98392d086de0e94395d1791184858c723634df1a15983f03eced0789386e56b5ef4e9a8f790396a577397a9ceeff8f76a2657c44 SHA512 7c58275cf9951283cf5051c2cf4c98084e8d562a8172a6379d9831a8fc95c9a19fc06710350217da2ea90fd2b17994142b10d1a9f8dab17b2bbf3e47e76c9f5f diff --git a/dev-ml/pprint/pprint-20230830.ebuild b/dev-ml/pprint/pprint-20230830.ebuild new file mode 100644 index 000000000000..cf47b0f5dfd8 --- /dev/null +++ b/dev-ml/pprint/pprint-20230830.ebuild @@ -0,0 +1,15 @@ +# Copyright 1999-2023 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" |