pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/print Initial import tex-lkproof{,-doc}-3.1



details:   https://anonhg.NetBSD.org/pkgsrc/rev/bb423501456c
branches:  trunk
changeset: 650348:bb423501456c
user:      markd <markd%pkgsrc.org@localhost>
date:      Tue Apr 21 22:16:33 2015 +0000

description:
Initial import tex-lkproof{,-doc}-3.1

The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

diffstat:

 print/tex-lkproof-doc/DESCR    |   1 +
 print/tex-lkproof-doc/Makefile |  11 +++++++++++
 print/tex-lkproof-doc/PLIST    |   4 ++++
 print/tex-lkproof-doc/distinfo |   5 +++++
 print/tex-lkproof/DESCR        |   2 ++
 print/tex-lkproof/Makefile     |  11 +++++++++++
 print/tex-lkproof/PLIST        |   2 ++
 print/tex-lkproof/distinfo     |   5 +++++
 8 files changed, 41 insertions(+), 0 deletions(-)

diffs (73 lines):

diff -r 451f669d1437 -r bb423501456c print/tex-lkproof-doc/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof-doc/DESCR       Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,1 @@
+Documentation for tex-lkproof.
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof-doc/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof-doc/Makefile    Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,11 @@
+# $NetBSD: Makefile,v 1.1 2015/04/21 22:17:23 markd Exp $
+
+DISTNAME=      lkproof.doc
+PKGNAME=       tex-${DISTNAME:S/./-/}-3.1
+TEXLIVE_REV=   20021
+
+MAINTAINER=    markd%NetBSD.org@localhost
+COMMENT=       Documentation for tex-lkproof
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof-doc/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof-doc/PLIST       Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,4 @@
+@comment $NetBSD: PLIST,v 1.1 2015/04/21 22:17:23 markd Exp $
+share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf
+share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex
+share/texmf-dist/doc/latex/lkproof/proofeg.tex
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof-doc/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof-doc/distinfo    Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2015/04/21 22:17:23 markd Exp $
+
+SHA1 (tex-lkproof-20021/lkproof.doc.tar.xz) = b0abf4de76f9fccc73b69cc1ab30a5cdbae4c6e0
+RMD160 (tex-lkproof-20021/lkproof.doc.tar.xz) = fd84d5e4ffe7d1910cce1db5b850255db584f7e7
+Size (tex-lkproof-20021/lkproof.doc.tar.xz) = 258344 bytes
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof/DESCR   Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,2 @@
+The package defines a pair of commands \infer and \deduce, that
+are used in constructing LK proof diagrams.
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof/Makefile        Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,11 @@
+# $NetBSD: Makefile,v 1.1 2015/04/21 22:16:33 markd Exp $
+
+DISTNAME=      lkproof
+PKGNAME=       tex-${DISTNAME}-3.1
+TEXLIVE_REV=   20021
+
+MAINTAINER=    markd%NetBSD.org@localhost
+COMMENT=       LK Proof figure macros
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof/PLIST   Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2015/04/21 22:16:33 markd Exp $
+share/texmf-dist/tex/latex/lkproof/proof.sty
diff -r 451f669d1437 -r bb423501456c print/tex-lkproof/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-lkproof/distinfo        Tue Apr 21 22:16:33 2015 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2015/04/21 22:16:33 markd Exp $
+
+SHA1 (tex-lkproof-20021/lkproof.tar.xz) = 3ef292bdc8f7b71672714f393936ce21cffcc373
+RMD160 (tex-lkproof-20021/lkproof.tar.xz) = ccf38b7fb39d8044faecdc626613d466f53dd8c8
+Size (tex-lkproof-20021/lkproof.tar.xz) = 2640 bytes



Home | Main Index | Thread Index | Old Index