Name	Last Modified	Size
Parent Directory
TeXmacs-2.1.5.15774-1.1.src.rpm	30-Oct-2026 16:11	52MiB
TeXmacs-2.1.5.15774-1.37.src.rpm	30-Oct-2026 16:04	52MiB

DB was synched from remote : 2026-10-30 18:04:36.742