[pkgsrc/trunk]: pkgsrc/print/tex-bussproofs Added print/tex-bussproofs 1.1, a...

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/aec7a592594d
branches:  trunk
changeset: 652293:aec7a592594d
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Fri May 29 11:37:24 2015 +0000

description:
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.

diffstat:

 print/tex-bussproofs/DESCR    |   8 ++++++++
 print/tex-bussproofs/Makefile |  12 ++++++++++++
 print/tex-bussproofs/PLIST    |   2 ++
 print/tex-bussproofs/distinfo |   5 +++++
 4 files changed, 27 insertions(+), 0 deletions(-)

diffs (43 lines):

diff -r 08a0fb255623 -r aec7a592594d print/tex-bussproofs/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-bussproofs/DESCR        Fri May 29 11:37:24 2015 +0000
@@ -0,0 +1,8 @@
+The package allows the construction of proof trees in the style
+of the sequent calculus and many other proof systems. One novel
+feature of the macros is they support the horizontal alignment
+according to some centre point specified with the command
+\fCenter. This is the style often used in sequent calculus
+proofs. The package works in a Plain TeX document, as well as
+in LaTeX; an exposition of the commands available is given in
+the package file itself.
diff -r 08a0fb255623 -r aec7a592594d print/tex-bussproofs/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-bussproofs/Makefile     Fri May 29 11:37:24 2015 +0000
@@ -0,0 +1,12 @@
+# $NetBSD: Makefile,v 1.1 2015/05/29 11:37:24 jaapb Exp $
+
+DISTNAME=      bussproofs
+PKGNAME=       tex-${DISTNAME}-1.1
+TEXLIVE_REV=   27488
+
+MAINTAINER=    jaapb%NetBSD.org@localhost
+COMMENT=       Proof trees in the style of the sequent calculus
+LICENSE=       lppl-1.3c
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 08a0fb255623 -r aec7a592594d print/tex-bussproofs/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-bussproofs/PLIST        Fri May 29 11:37:24 2015 +0000
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2015/05/29 11:37:24 jaapb Exp $
+share/texmf-dist/tex/latex/bussproofs/bussproofs.sty
diff -r 08a0fb255623 -r aec7a592594d print/tex-bussproofs/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-bussproofs/distinfo     Fri May 29 11:37:24 2015 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2015/05/29 11:37:24 jaapb Exp $
+
+SHA1 (tex-bussproofs-27488/bussproofs.tar.xz) = f7513522c86775eb3664fc80bc06d159f4d630f9
+RMD160 (tex-bussproofs-27488/bussproofs.tar.xz) = c980c62ea909404e27cfb346cf301efbd1cb4ddf
+Size (tex-bussproofs-27488/bussproofs.tar.xz) = 8772 bytes