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