../ tectonic-0.14.1-r1.log 09-Nov-2023 03:24 21K tectonic-0.15.0-r0.log 16-Feb-2024 19:59 22K tectonic-0.15.0-r1.log 19-Nov-2024 07:20 30K tectonic-0.15.0-r2.log 28-Mar-2025 04:06 56K tectonic-0.15.0-r3.log 28-Mar-2025 06:26 30K tectonic-0.15.0-r4.log 06-May-2025 13:57 28K