[pkgsrc/trunk]: pkgsrc/print tex-ebproof{,-doc}: Add version 2.0

[markd <markd%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/ad7e7f23ea95
branches:  trunk
changeset: 380827:ad7e7f23ea95
user:      markd <markd%pkgsrc.org@localhost>
date:      Tue May 22 21:08:47 2018 +0000

description:
tex-ebproof{,-doc}: Add version 2.0

This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.

diffstat:

 print/tex-ebproof-doc/DESCR    |   1 +
 print/tex-ebproof-doc/Makefile |  13 +++++++++++++
 print/tex-ebproof-doc/PLIST    |   4 ++++
 print/tex-ebproof-doc/distinfo |   6 ++++++
 print/tex-ebproof/DESCR        |   7 +++++++
 print/tex-ebproof/Makefile     |  15 +++++++++++++++
 print/tex-ebproof/PLIST        |   2 ++
 print/tex-ebproof/distinfo     |   6 ++++++
 8 files changed, 54 insertions(+), 0 deletions(-)

diffs (86 lines):

diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof-doc/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof-doc/DESCR       Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,1 @@
+Documentation for tex-ebproof.
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof-doc/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof-doc/Makefile    Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,13 @@
+# $NetBSD: Makefile,v 1.1 2018/05/22 21:08:47 markd Exp $
+
+DISTNAME=      ebproof.doc
+PKGNAME=       tex-${DISTNAME:S/./-/}-2.0
+TEXLIVE_REV=   44392
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://ctan.org/pkg/ebproof
+COMMENT=       Documentation for tex-ebproof
+LICENSE=       lppl-1.3c
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof-doc/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof-doc/PLIST       Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,4 @@
+@comment $NetBSD: PLIST,v 1.1 2018/05/22 21:08:47 markd Exp $
+share/texmf-dist/doc/latex/ebproof/README.md
+share/texmf-dist/doc/latex/ebproof/ebproof.pdf
+share/texmf-dist/doc/latex/ebproof/ebproof.tex
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof-doc/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof-doc/distinfo    Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2018/05/22 21:08:47 markd Exp $
+
+SHA1 (tex-ebproof-44392/ebproof.doc.tar.xz) = 1b89eeafc9ff4d2fc5ae1d7b8fe686d3e0128235
+RMD160 (tex-ebproof-44392/ebproof.doc.tar.xz) = 29968f12f6a31c5d6211684aa85d2f8f1a7c727d
+SHA512 (tex-ebproof-44392/ebproof.doc.tar.xz) = 6f46a6b296a44ba92106630ecdaf066cfe8537e1ea6066525e84a7a97fca5fbaca4602b8d0140b631eec18ffed2e32c49ce19238e2099cf7580ae00d274150ef
+Size (tex-ebproof-44392/ebproof.doc.tar.xz) = 234552 bytes
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof/DESCR   Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,7 @@
+This package provides commands to typeset proof trees in the
+style of sequent calculus and related systems. The commands
+allow for writing inferences with any number of premises and
+alignment of successive formulas on an arbitrary point. Various
+options allow complete control over spacing, styles of
+inference rules, placement of labels, etc. The package requires
+expl3 and xparse.
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof/Makefile        Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,15 @@
+# $NetBSD: Makefile,v 1.1 2018/05/22 21:08:47 markd Exp $
+
+DISTNAME=      ebproof
+PKGNAME=       tex-${DISTNAME}-2.0
+TEXLIVE_REV=   44392
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://ctan.org/pkg/ebproof
+COMMENT=       Formal proofs in the style of sequent calculus
+LICENSE=       lppl-1.3c
+
+DEPENDS+=      tex-l3kernel-[0-9]*:../../devel/tex-l3kernel
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof/PLIST   Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2018/05/22 21:08:47 markd Exp $
+share/texmf-dist/tex/latex/ebproof/ebproof.sty
diff -r 2d0ba436a84c -r ad7e7f23ea95 print/tex-ebproof/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-ebproof/distinfo        Tue May 22 21:08:47 2018 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2018/05/22 21:08:47 markd Exp $
+
+SHA1 (tex-ebproof-44392/ebproof.tar.xz) = fd791ba7e6d2e1e1d7a386155f231521eca15b29
+RMD160 (tex-ebproof-44392/ebproof.tar.xz) = 94e37fd1c376eed9dcba9b6d408d0fb35896d94d
+SHA512 (tex-ebproof-44392/ebproof.tar.xz) = 7d86ffca1d5c6b6105e4490bf4cbab7f08c54dd42454870fe1756c5f518535d0226e2e10b9505514d39b5125e001ec062f17fda3f15bbc7250ec407e0eb54afa
+Size (tex-ebproof-44392/ebproof.tar.xz) = 6324 bytes