../ tectonic_0.14.1_aarch64.deb 16-Jun-2023 13:46 3385636 tectonic_0.14.1_arm.deb 16-Jun-2023 13:46 3266240 tectonic_0.14.1_i686.deb 16-Jun-2023 13:46 4082840 tectonic_0.14.1_x86_64.deb 16-Jun-2023 13:46 3802804