ASL 2.0 and LGPL-2.1-only and Zlib and OFL-1.1 and Public Domain and LGPL-2.0-only and GPLv2+ and MPL-1.1 and Libpng and LGPL-3.0-only and BSL-1.0 and GPLv2 and GPLv3 and CPL-1.0 and IJG and MIT and LPPL-1.3c and ICU and psutils
Artistic 2.0 and GPLv2 and GPLv2+ and LGPLv2+ and LPPL-1.3a and LPPL-1.3c and MIT and Public Domain and UCD and Utopia
Help for writing programming language semantics
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
acquired package info from repodata DB: repodata/f1f85c23079e7764ad00378a9fc5d660b89a03657290e75426caf7be5b7da462-primary.sqlite.bz2
The TeX Live software distribution offers a complete TeX system for a variety of Unix, Macintosh, Windows and other platforms. It encompasses programs for editing, typesetting, previewing and printing of TeX documents in many different languages, and a large collection of TeX macros and font libraries. The distribution includes extensive general documentation about TeX, as well as the documentation for the included software packages.
Path searching library for TeX-related files
Kpathsea is a library and utility programs which provide path searching facilities for TeX file types, including the self- locating feature required for movable installations, layered on top of a general search mechanism.
Miscellaneous macros by Jorg Knappen, including: represent counters in greek; Maxwell's non-commutative division; latin1jk, latin2jk and latin3jk, which are their inputenc definition files that allow verbatim input in the respective ISO Latin codes; blackboard bold fonts in maths; use of RSFS fonts in maths; extra alignments for \parboxes; swap Roman and Sans fonts; transliterate semitic languages; patches to make (La)TeX formulae embeddable in SGML; use maths "minus" in text as appropriate; simple Young tableaux.