../ TeXmacs-debuginfo-1.99.12-1.hint 20-Dec-2019 09:44 192 TeXmacs-debuginfo-1.99.12-1.tar.xz 20-Dec-2019 09:46 31M TeXmacs-debuginfo-1.99.13-1.hint 06-Jun-2020 17:47 192 TeXmacs-debuginfo-1.99.13-1.tar.xz 06-Jun-2020 17:48 43M TeXmacs-debuginfo-1.99.18-1.hint 31-Jan-2021 10:23 192 TeXmacs-debuginfo-1.99.18-1.tar.xz 31-Jan-2021 10:23 40M sha512.sum 31-Jan-2021 10:44 984