../ 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 32128264 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 45362712 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 41715500 sha512.sum 31-Jan-2021 10:44 984