DIST tectonic-0.12.0-x86_64-unknown-linux-gnu.tar.gz 19496276 BLAKE2B 6a5211087efc9a783fd049c9eed9eb35cf7afe75ef6d9989f21e9d24664e28381ec19f574a97893f105e73f1260d9109985b8c8af7808be0d44ea053507eea01 SHA512 a8be91a820b38327c682a6dc4c1103d9956bca5083cd87cb9517b1ef7289b79907a26e4b73604ffc07826fba428b60bd8ff5111a0cee2b8c8ed8f371929206dc