../ xotcl-dev_1.6.8-4_arm64.deb 05-May-2018 15:15 13K xotcl-doc_1.6.8-4_all.deb 05-May-2018 05:42 581K xotcl-shells_1.6.8-4_arm64.deb 05-May-2018 15:15 85K xotcl_1.6.8-4_arm64.deb 05-May-2018 15:15 180K