File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
tectonic-0.13.0-1.log | 19.1 KiB | 2023-May-20 01:49 | |
tectonic-0.15.0-1.log | 24.9 KiB | 2024-Feb-06 06:50 | |
tectonic-0.15.0-2.log | 1.2 KiB | 2024-May-21 01:11 | |
tectonic-0.8.0-2-riscv64-prepare.log | 676 B | 2022-Feb-10 22:11 | |
tectonic-0.8.1-1.log | 1.3 KiB | 2022-Mar-02 05:01 | |
tectonic-0.8.2-2.log | 4.2 KiB | 2022-Apr-18 05:40 |