../ xotcl-dev_1.6.8-4.1_amd64.deb 22-May-2023 16:14 62K xotcl-doc_1.6.8-4.1_all.deb 22-May-2023 16:14 629K xotcl-shells_1.6.8-4.1_amd64.deb 22-May-2023 16:14 142K xotcl_1.6.8-4.1_amd64.deb 22-May-2023 16:14 238K