pkgsrc-Changes-HG archive

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

[pkgsrc/trunk]: pkgsrc/print tex-semantic{,-doc}: Added version 2.0



details:   https://anonhg.NetBSD.org/pkgsrc/rev/0f0283de3690
branches:  trunk
changeset: 329220:0f0283de3690
user:      markd <markd%pkgsrc.org@localhost>
date:      Sat Feb 02 02:46:55 2019 +0000

description:
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.

diffstat:

 print/tex-semantic-doc/DESCR    |   1 +
 print/tex-semantic-doc/Makefile |  13 +++++++++++++
 print/tex-semantic-doc/PLIST    |   2 ++
 print/tex-semantic-doc/distinfo |   6 ++++++
 print/tex-semantic/DESCR        |   3 +++
 print/tex-semantic/Makefile     |  13 +++++++++++++
 print/tex-semantic/PLIST        |   7 +++++++
 print/tex-semantic/distinfo     |   6 ++++++
 8 files changed, 51 insertions(+), 0 deletions(-)

diffs (83 lines):

diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic-doc/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic-doc/DESCR      Sat Feb 02 02:46:55 2019 +0000
@@ -0,0 +1,1 @@
+Documentation for tex-semantic.
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic-doc/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic-doc/Makefile   Sat Feb 02 02:46:55 2019 +0000
@@ -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"
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic-doc/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic-doc/PLIST      Sat Feb 02 02:46:55 2019 +0000
@@ -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
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic-doc/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic-doc/distinfo   Sat Feb 02 02:46:55 2019 +0000
@@ -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
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic/DESCR  Sat Feb 02 02:46:55 2019 +0000
@@ -0,0 +1,3 @@
+Eases the typesetting of notation of semantics and compilers.
+Includes T-diagrams, various derivation symbols and inference
+trees.
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic/Makefile       Sat Feb 02 02:46:55 2019 +0000
@@ -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"
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic/PLIST  Sat Feb 02 02:46:55 2019 +0000
@@ -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
diff -r 0b2aac9d7e2a -r 0f0283de3690 print/tex-semantic/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/print/tex-semantic/distinfo       Sat Feb 02 02:46:55 2019 +0000
@@ -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



Home | Main Index | Thread Index | Old Index