| 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 |