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
..
DESCR
distinfo	print: Replace RMD160 checksums with BLAKE2s checksums	2021-10-26 11:12:01 +00:00
Makefile	tex-ebproof{,-doc}: update to 2.1.1	2021-02-15 02:02:15 +00:00
PLIST