summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2021-12-03 03:04:33 +0100
committerMaciej Barć <xgqt@gentoo.org>2021-12-03 03:04:41 +0100
commitb777aa3272aaefbacf974f3c2cb32c0d238d573d (patch)
tree8ab11f8b0b6a34795e6dbf8df049e7a45398c272
parentapp-misc/yq: Version bump (diff)
downloadgentoo-b777aa3272aaefbacf974f3c2cb32c0d238d573d.tar.gz
gentoo-b777aa3272aaefbacf974f3c2cb32c0d238d573d.tar.bz2
gentoo-b777aa3272aaefbacf974f3c2cb32c0d238d573d.zip
dev-ml/pprint: new package; add version 20211129
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
-rw-r--r--dev-ml/pprint/Manifest1
-rw-r--r--dev-ml/pprint/metadata.xml16
-rw-r--r--dev-ml/pprint/pprint-20211129.ebuild15
3 files changed, 32 insertions, 0 deletions
diff --git a/dev-ml/pprint/Manifest b/dev-ml/pprint/Manifest
new file mode 100644
index 000000000000..3a38bd294900
--- /dev/null
+++ b/dev-ml/pprint/Manifest
@@ -0,0 +1 @@
+DIST pprint-20211129.tar.gz 42778 BLAKE2B b5becf959d750e07ecf12c58cf6f41ff10f841d8034e9f89544b28e81eefdf564e2144a102fa918256736bb092de454eba13dfa38363e1ed230742eb95817e9d SHA512 12133735f558075f1ecdcec16cc11f7237dd82883c542645c479f534acd8ed6935f05a3f9aad8e330c329520852bdff6d420d632636bd9004a4d0aade762cae6
diff --git a/dev-ml/pprint/metadata.xml b/dev-ml/pprint/metadata.xml
new file mode 100644
index 000000000000..a4f6b15e63c7
--- /dev/null
+++ b/dev-ml/pprint/metadata.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <longdescription>
+ This library offers a set of combinators for building so-called documents
+ as well as an efficient engine for converting documents to a textual,
+ fixed-width format. The engine takes care of indentation and line breaks,
+ while respecting the constraints imposed by the structure of the document
+ and by the text width.
+ </longdescription>
+</pkgmetadata>
diff --git a/dev-ml/pprint/pprint-20211129.ebuild b/dev-ml/pprint/pprint-20211129.ebuild
new file mode 100644
index 000000000000..97e3528ec93e
--- /dev/null
+++ b/dev-ml/pprint/pprint-20211129.ebuild
@@ -0,0 +1,15 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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"