Commit graph

5 commits

Author SHA1 Message Date
nia
7bacd8705a print: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
2021-10-26 11:12:01 +00:00
nia
2984d3c2a6 print: Remove SHA1 hashes for distfiles 2021-10-07 14:48:50 +00:00
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