./fonts/tex-esrelation, Provides a symbol set for describing relations between ordered pairs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 2015nb1, Package name: tex-esrelation-2015nb1, Maintainer: pkgsrc-users

Around 2008, researcher Byron Cook and several colleagues began
developing a new set of interrelated algorithms capable of
automatically reasoning about the behavior of computer programs
and other systems (such as biological systems, circuit designs,
etc). At the center of these algorithms were new ideas about
the relationships between structures expressable as
mathematical sets and relations. Using the language of
mathematics and logic, the researchers communicated these new
results to others in their community via published papers,
research talks, etc. Unfortunately, they found the symbols
already available for reasoning about relations lacking (in
contrast to sets, which have a long-ago developed and robust
symbol vocabulary). Early presentations were unnecessarily
cluttered. To more elegantly express these ideas around
relations, Cook recruited artist Tauba Auerbach to help develop
a set of symbols. This package provides an math symbol font for
describing relations between ordered pairs by using Metafont.


Required to run:
[print/kpathsea] [print/tex-texlive-scripts]

Required to build:
[pkgtools/cwrappers]

Master sites: (Expand)

Version history: (Expand)

CVS history: (Expand)


   2021-10-26 12:28:41 by Nia Alarie | Files touched by this commit (864) 
Log message:
fonts: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
   2021-10-07 16:05:29 by Nia Alarie | Files touched by this commit (864) 
Log message:
fonts: Remove SHA1 hashes for distfiles
   2020-05-10 06:32:07 by Mark Davies | Files touched by this commit (272) 
Log message:
tex-*: revbump for dependency change tex-tetex -> tex-texlive-scripts
   2020-01-19 00:36:14 by Roland Illig | Files touched by this commit (3046) 
Log message:
all: migrate several HOMEPAGEs to https

pkglint --only "https instead of http" -r -F

With manual adjustments afterwards since pkglint 19.4.4 fixed a few
indentations in unrelated lines.

This mainly affects projects hosted at SourceForce, as well as
freedesktop.org, CTAN and GNU.
   2019-12-06 20:30:17 by Mark Davies | Files touched by this commit (430) 
Log message:
tex-*: add TEXLIVE_UNVERSIONED=yes
   2015-11-03 21:45:25 by Alistair G. Crooks | Files touched by this commit (776) 
Log message:
Add SHA512 digests for distfiles for fonts category

Problems found locating distfiles:
	Package acroread7-chsfont: missing distfile acrobat7-fonts/chsfont.tar.gz
	Package acroread7-font-share: missing distfile acrobat7-fonts/korfont.tar.gz
	Package acroread7-korfont: missing distfile acrobat7-fonts/korfont.tar.gz
	Package acroread9-chtfont: missing distfile \ 
acrobat9-fonts/FontPack910_cht_i486-linux.tar.bz2
	Package acroread9-jpnfont: missing distfile \ 
acrobat9-fonts/FontPack910_jpn_i486-linux.tar.bz2
	Package cyberbase-ttf: missing distfile cyberbit-ttf/Cyberbase.ZIP
	Package cyberbit-ttf: missing distfile cyberbit-ttf/Cyberbit.ZIP
	Package pixel-sagas-startrek: missing distfile PS_Font_Fontana.zip
	Package pixel-sagas-startrek: missing distfile PS_Font_Montalban.zip
	Package pixel-sagas-startrek: missing distfile PS_Font_Probert.zip
	Package pixel-sagas-startrek: missing distfile PS_Font_Sternbach.zip
	Package pixel-sagas-startrek: missing distfile PS_Font_Trek_Arrowcaps.zip
	Package umefont-ttf: missing distfile umefont_560.tar.xz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2015-09-02 13:06:15 by Mark Davies | Files touched by this commit (40) 
Log message:
Add tex-academicons{,-doc} 1.5
  Font containing icons of online academic profiles
Add tex-comicneue{,-doc} 1.0
  Use Comic Neue with TeX(-alike) systems
Add tex-esrelation{,-doc} 2015
  Provides a symbol set for describing relations between ordered pairs
Add tex-sourceserifpro{,-doc} 1.1
  Use SourceSerifPro with TeX(-alike) systems
Add tex-typicons{,-doc} 2.0.7
  Font containing a set of web-related icons