kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
313102 commits 166 branches 0 tags 1.5 GiB
Commit graph

3 commits

Author SHA1 Message Date
rillig
b686dd9180 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.
 2020-01-18 23:30:43 +00:00
markd
95841315da tex-*: add TEXLIVE_UNVERSIONED=yes 2019-12-06 20:17:03 +00:00
markd
2622c0400c 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.
 2019-02-02 02:46:55 +00:00