Name	Last Modified	Size
Parent Directory
TeXmacs-2.1.4-21.19.riscv64.rpm	25-Oct-2025 22:15	33MiB
TeXmacs-debuginfo-2.1.4-21.19.riscv64.rpm	25-Oct-2025 22:15	36MiB
TeXmacs-debugsource-2.1.4-21.19.riscv64.rpm	25-Oct-2025 22:15	1.3MiB

DB was synched from remote : 2025-11-02 07:51:20.68