Tue May 22 21:08:47 2018 UTC ()
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.


(markd)
diff -r0 -r1.1 pkgsrc/print/tex-ebproof/DESCR
diff -r0 -r1.1 pkgsrc/print/tex-ebproof/Makefile
diff -r0 -r1.1 pkgsrc/print/tex-ebproof/PLIST
diff -r0 -r1.1 pkgsrc/print/tex-ebproof/distinfo
diff -r0 -r1.1 pkgsrc/print/tex-ebproof-doc/DESCR
diff -r0 -r1.1 pkgsrc/print/tex-ebproof-doc/Makefile
diff -r0 -r1.1 pkgsrc/print/tex-ebproof-doc/PLIST
diff -r0 -r1.1 pkgsrc/print/tex-ebproof-doc/distinfo
File Added: pkgsrc/print/tex-ebproof/DESCR
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.
File Added: pkgsrc/print/tex-ebproof/Makefile
# $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
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"
File Added: pkgsrc/print/tex-ebproof/PLIST
@comment $NetBSD: PLIST,v 1.1 2018/05/22 21:08:47 markd Exp $
share/texmf-dist/tex/latex/ebproof/ebproof.sty
File Added: pkgsrc/print/tex-ebproof/distinfo
$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
File Added: pkgsrc/print/tex-ebproof-doc/DESCR
Documentation for tex-ebproof.
File Added: pkgsrc/print/tex-ebproof-doc/Makefile
# $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
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"
File Added: pkgsrc/print/tex-ebproof-doc/PLIST
@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
File Added: pkgsrc/print/tex-ebproof-doc/distinfo
$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