../ xotcl-dev_1.6.8-4_armhf.deb 22-Jul-2020 16:48 63048 xotcl-doc_1.6.8-4_all.deb 22-Jul-2020 14:22 643536 xotcl-shells_1.6.8-4_armhf.deb 22-Jul-2020 16:48 132368 xotcl_1.6.8-4_armhf.deb 22-Jul-2020 16:28 231512