../ TeXmacs-debuginfo-1.99.12-1.hint 20-Dec-2019 09:38 192 TeXmacs-debuginfo-1.99.12-1.tar.xz 20-Dec-2019 09:40 30531276 TeXmacs-debuginfo-1.99.13-1.hint 06-Jun-2020 17:46 192 TeXmacs-debuginfo-1.99.13-1.tar.xz 06-Jun-2020 17:46 44030532 TeXmacs-debuginfo-1.99.18-1.hint 31-Jan-2021 10:22 192 TeXmacs-debuginfo-1.99.18-1.tar.xz 31-Jan-2021 10:22 40738300 sha512.sum 31-Jan-2021 10:44 984