../ 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-161.1.src.rpm 17-Jul-2024 13:16 86840744 compat-guile18-1.8.8-16.1.src.rpm 13-Dec-2023 12:52 3783312