../ xotcl-dev_1.6.8-5_amd64.deb 30-Apr-2022 12:21 13302 xotcl-doc_1.6.8-5_all.deb 30-Apr-2022 12:21 585650 xotcl-shells_1.6.8-5_amd64.deb 30-Apr-2022 12:21 101772 xotcl_1.6.8-5_amd64.deb 30-Apr-2022 12:21 201916