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.

8 files changed, 51 insertions, 0 deletions

diff --git a/print/tex-semantic-doc/DESCR b/print/tex-semantic-doc/DESCR
new file mode 100644
index 00000000000..03c479e078a
--- /dev/null
+++ b/print/tex-semantic-doc/DESCR
@@ -0,0 +1 @@
+Documentation for tex-semantic.
diff --git a/print/tex-semantic-doc/Makefile b/print/tex-semantic-doc/Makefile
new file mode 100644
index 00000000000..c721ab563aa
--- /dev/null
+++ b/print/tex-semantic-doc/Makefile
@@ -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
+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 --git a/print/tex-semantic-doc/PLIST b/print/tex-semantic-doc/PLIST
new file mode 100644
index 00000000000..70471cd69e0
--- /dev/null
+++ b/print/tex-semantic-doc/PLIST
@@ -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 --git a/print/tex-semantic-doc/distinfo b/print/tex-semantic-doc/distinfo
new file mode 100644
index 00000000000..e869e4e616a
--- /dev/null
+++ b/print/tex-semantic-doc/distinfo
@@ -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 --git a/print/tex-semantic/DESCR b/print/tex-semantic/DESCR
new file mode 100644
index 00000000000..a51084a4626
--- /dev/null
+++ b/print/tex-semantic/DESCR
@@ -0,0 +1,3 @@
+Eases the typesetting of notation of semantics and compilers.
+Includes T-diagrams, various derivation symbols and inference
+trees.
diff --git a/print/tex-semantic/Makefile b/print/tex-semantic/Makefile
new file mode 100644
index 00000000000..db76762bc2c
--- /dev/null
+++ b/print/tex-semantic/Makefile
@@ -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
+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 --git a/print/tex-semantic/PLIST b/print/tex-semantic/PLIST
new file mode 100644
index 00000000000..4805cc35eb1
--- /dev/null
+++ b/print/tex-semantic/PLIST
@@ -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 --git a/print/tex-semantic/distinfo b/print/tex-semantic/distinfo
new file mode 100644
index 00000000000..42548de48e8
--- /dev/null
+++ b/print/tex-semantic/distinfo
@@ -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