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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/75e8be6ef398
branches:  trunk
changeset: 308414:75e8be6ef398
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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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 4df7f7ed09e8 -r 75e8be6ef398 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