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