../ xotcl-dev_1.6.8-4_amd64.deb 13-Apr-2018 08:36 62980 xotcl-doc_1.6.8-4_all.deb 13-Apr-2018 08:36 643536 xotcl-shells_1.6.8-4_amd64.deb 13-Apr-2018 08:36 146288 xotcl_1.6.8-4_amd64.deb 13-Apr-2018 08:36 245460