Name Last modified Size Description Parent Directory - tectonic-0.15.0.ebuild 06-Feb-2024 02:47 7.4K metadata.xml 19-Nov-2022 10:05 355 Manifest 28-Feb-2024 03:20 101K