../ guile-1.8-dev-dbgsym_1.8.8+1-8ubuntu3_amd64.deb 06-Jun-2023 10:02 1M guile-1.8-dev_1.8.8+1-8ubuntu3_amd64.deb 06-Jun-2023 10:02 1M texmacs-dbgsym_2.1.1-1_amd64.deb 06-Jun-2023 10:14 54M texmacs_2.1.1-1_amd64.deb 06-Jun-2023 10:14 31M