../ TeXmacs-2.1.2-71.1.src.rpm 15-Dec-2023 16:47 47839074 TeXmacs-2.1.2-72.1.src.rpm 19-Dec-2023 06:18 36709371 TeXmacs-2.1.4-158.1.src.rpm 15-Jul-2024 13:29 86780960 compat-guile18-1.8.8-16.1.src.rpm 13-Dec-2023 12:52 3783312