pkgsrc-Changes archive

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

CVS commit: pkgsrc/print



Module Name:    pkgsrc
Committed By:   markd
Date:           Sat Feb  2 02:46:55 UTC 2019

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

Log Message:
tex-semantic{,-doc}: Added version 2.0

Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-semantic/DESCR \
    pkgsrc/print/tex-semantic/Makefile pkgsrc/print/tex-semantic/PLIST \
    pkgsrc/print/tex-semantic/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-semantic-doc/DESCR \
    pkgsrc/print/tex-semantic-doc/Makefile \
    pkgsrc/print/tex-semantic-doc/PLIST \
    pkgsrc/print/tex-semantic-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-semantic/DESCR
diff -u /dev/null pkgsrc/print/tex-semantic/DESCR:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic/DESCR     Sat Feb  2 02:46:55 2019
@@ -0,0 +1,3 @@
+Eases the typesetting of notation of semantics and compilers.
+Includes T-diagrams, various derivation symbols and inference
+trees.
Index: pkgsrc/print/tex-semantic/Makefile
diff -u /dev/null pkgsrc/print/tex-semantic/Makefile:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic/Makefile  Sat Feb  2 02:46:55 2019
@@ -0,0 +1,13 @@
+# $NetBSD: Makefile,v 1.1 2019/02/02 02:46:55 markd Exp $
+
+DISTNAME=      semantic
+PKGNAME=       tex-${DISTNAME}-2.0
+TEXLIVE_REV=   15878
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://ctan.org/pkg/semantic
+COMMENT=       Help for writing programming language semantics
+LICENSE=       lppl-1.3c
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/print/tex-semantic/PLIST
diff -u /dev/null pkgsrc/print/tex-semantic/PLIST:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic/PLIST     Sat Feb  2 02:46:55 2019
@@ -0,0 +1,7 @@
+@comment $NetBSD: PLIST,v 1.1 2019/02/02 02:46:55 markd Exp $
+share/texmf-dist/tex/latex/semantic/infernce.sty
+share/texmf-dist/tex/latex/semantic/ligature.sty
+share/texmf-dist/tex/latex/semantic/reserved.sty
+share/texmf-dist/tex/latex/semantic/semantic.sty
+share/texmf-dist/tex/latex/semantic/shrthand.sty
+share/texmf-dist/tex/latex/semantic/tdiagram.sty
Index: pkgsrc/print/tex-semantic/distinfo
diff -u /dev/null pkgsrc/print/tex-semantic/distinfo:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic/distinfo  Sat Feb  2 02:46:55 2019
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2019/02/02 02:46:55 markd Exp $
+
+SHA1 (tex-semantic-15878/semantic.tar.xz) = 89f6d05e34400c87440def613e8c5728cf50b6b6
+RMD160 (tex-semantic-15878/semantic.tar.xz) = 82a6c77a5f83f4638aef20ce7264490f46e504f3
+SHA512 (tex-semantic-15878/semantic.tar.xz) = 4d5ce32ffba5d0733dcf65495b131b5b3eb5f4ca3f58a5deca6345382db422e1411c48b86578cc2ecc48b38a007e781c11ceccfdb1b6523bbebc04bb32556b71
+Size (tex-semantic-15878/semantic.tar.xz) = 6612 bytes

Index: pkgsrc/print/tex-semantic-doc/DESCR
diff -u /dev/null pkgsrc/print/tex-semantic-doc/DESCR:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic-doc/DESCR Sat Feb  2 02:46:55 2019
@@ -0,0 +1 @@
+Documentation for tex-semantic.
Index: pkgsrc/print/tex-semantic-doc/Makefile
diff -u /dev/null pkgsrc/print/tex-semantic-doc/Makefile:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic-doc/Makefile      Sat Feb  2 02:46:55 2019
@@ -0,0 +1,13 @@
+# $NetBSD: Makefile,v 1.1 2019/02/02 02:46:55 markd Exp $
+
+DISTNAME=      semantic.doc
+PKGNAME=       tex-${DISTNAME:S/./-/}-2.0
+TEXLIVE_REV=   15878
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://ctan.org/pkg/semantic
+COMMENT=       Documentation for tex-semantic
+LICENSE=       lppl-1.3c
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/print/tex-semantic-doc/PLIST
diff -u /dev/null pkgsrc/print/tex-semantic-doc/PLIST:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic-doc/PLIST Sat Feb  2 02:46:55 2019
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2019/02/02 02:46:55 markd Exp $
+share/texmf-dist/doc/latex/semantic/semantic.pdf
Index: pkgsrc/print/tex-semantic-doc/distinfo
diff -u /dev/null pkgsrc/print/tex-semantic-doc/distinfo:1.1
--- /dev/null   Sat Feb  2 02:46:55 2019
+++ pkgsrc/print/tex-semantic-doc/distinfo      Sat Feb  2 02:46:55 2019
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2019/02/02 02:46:55 markd Exp $
+
+SHA1 (tex-semantic-15878/semantic.doc.tar.xz) = b462ba480e2ca1a2ac9028064ffd8645a8aca1c3
+RMD160 (tex-semantic-15878/semantic.doc.tar.xz) = 115c9314afab28966a45ed807a41d84b3977928c
+SHA512 (tex-semantic-15878/semantic.doc.tar.xz) = 8e381764fcb23c40db87146990bb81499c5a6ce7d825aab6c93acfb4fc2b54e33639469777a47917d4a877b435721197ec1da14bea1d2e55d425685370f0544a
+Size (tex-semantic-15878/semantic.doc.tar.xz) = 357820 bytes



Home | Main Index | Thread Index | Old Index