=> Checksum BLAKE2s OK for TeXmacs-2.1.2-src.tar.gz
=> Checksum SHA512 OK for TeXmacs-2.1.2-src.tar.gz