CVS commit: pkgsrc/print

["Mark Davies" <markd%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   markd
Date:           Tue May 22 21:08:47 UTC 2018

Added Files:
        pkgsrc/print/tex-ebproof: DESCR Makefile PLIST distinfo
        pkgsrc/print/tex-ebproof-doc: DESCR Makefile PLIST distinfo

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-ebproof/DESCR \
    pkgsrc/print/tex-ebproof/Makefile pkgsrc/print/tex-ebproof/PLIST \
    pkgsrc/print/tex-ebproof/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-ebproof-doc/DESCR \
    pkgsrc/print/tex-ebproof-doc/Makefile pkgsrc/print/tex-ebproof-doc/PLIST \
    pkgsrc/print/tex-ebproof-doc/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/print/tex-ebproof/DESCR
diff -u /dev/null pkgsrc/print/tex-ebproof/DESCR:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof/DESCR      Tue May 22 21:08:47 2018
@@ -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.
Index: pkgsrc/print/tex-ebproof/Makefile
diff -u /dev/null pkgsrc/print/tex-ebproof/Makefile:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof/Makefile   Tue May 22 21:08:47 2018
@@ -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"
Index: pkgsrc/print/tex-ebproof/PLIST
diff -u /dev/null pkgsrc/print/tex-ebproof/PLIST:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof/PLIST      Tue May 22 21:08:47 2018
@@ -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
Index: pkgsrc/print/tex-ebproof/distinfo
diff -u /dev/null pkgsrc/print/tex-ebproof/distinfo:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof/distinfo   Tue May 22 21:08:47 2018
@@ -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

Index: pkgsrc/print/tex-ebproof-doc/DESCR
diff -u /dev/null pkgsrc/print/tex-ebproof-doc/DESCR:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof-doc/DESCR  Tue May 22 21:08:47 2018
@@ -0,0 +1 @@
+Documentation for tex-ebproof.
Index: pkgsrc/print/tex-ebproof-doc/Makefile
diff -u /dev/null pkgsrc/print/tex-ebproof-doc/Makefile:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof-doc/Makefile       Tue May 22 21:08:47 2018
@@ -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"
Index: pkgsrc/print/tex-ebproof-doc/PLIST
diff -u /dev/null pkgsrc/print/tex-ebproof-doc/PLIST:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof-doc/PLIST  Tue May 22 21:08:47 2018
@@ -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
Index: pkgsrc/print/tex-ebproof-doc/distinfo
diff -u /dev/null pkgsrc/print/tex-ebproof-doc/distinfo:1.1
--- /dev/null   Tue May 22 21:08:47 2018
+++ pkgsrc/print/tex-ebproof-doc/distinfo       Tue May 22 21:08:47 2018
@@ -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