kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Import tex-circle-2009 as print/tex-circle.

Browse source 
This package provides circles in math mode that can be used for the
nextstep operator of temporal logic, in conjunction with \Box and
\Diamond (latexsym) or \square and \lozenge (amssymb).  LaTeX circles
\circ and \bigcirc are not of the right size.  The circles are taken
from the font lcircle10.  The package contains some hacks to
approximate the right size and this solution is definitely not
sufficient to give a high quality output.
This commit is contained in:
minskim 2010-04-21 05:37:58 +00:00
parent e3f3685b80
commit c910b93128
4 changed files with 27 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
print/tex-circle/DESCR Normal file
View file

@ -0,0 +1,7 @@
This package provides circles in math mode that can be used for the
nextstep operator of temporal logic, in conjunction with \Box and
\Diamond (latexsym) or \square and \lozenge (amssymb). LaTeX circles
\circ and \bigcirc are not of the right size. The circles are taken
from the font lcircle10. The package contains some hacks to
approximate the right size and this solution is definitely not
sufficient to give a high quality output.

13
print/tex-circle/Makefile Normal file
View file

@ -0,0 +1,13 @@
# $NetBSD: Makefile,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
# TeX Live Revision 17158
DISTNAME= circle
PKGNAME= tex-${DISTNAME}-2009
MAINTAINER= minskim@NetBSD.org
COMMENT= Maths mode circles for temporal logic
CONFLICTS+= tex-ltxmisc<2009
.include "../../print/texlive/package.mk"
.include "../../mk/bsd.pkg.mk"

2
print/tex-circle/PLIST Normal file
View file

@ -0,0 +1,2 @@
@comment $NetBSD: PLIST,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
share/texmf-dist/tex/latex/circle/circle.sty

5
print/tex-circle/distinfo Normal file
View file

@ -0,0 +1,5 @@
$NetBSD: distinfo,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
SHA1 (tex-circle-2009/circle.tar.xz) = 19ab7b58fc19dfc00bd58caf03cd433bfbe404ba
RMD160 (tex-circle-2009/circle.tar.xz) = 7933f7067a90cc78a6f67790eb121e9f417390f2
Size (tex-circle-2009/circle.tar.xz) = 1384 bytes