Name	Last Modified	Size
Parent Directory
TeXmacs-2.1.5.15792-1.1.x86_64.rpm	05-Nov-2026 15:51	37MiB

DB was synched from remote : 2026-11-05 18:23:01.016