../ xotcl-dbgsym_1.6.8-5_x32.deb 15-Mar-2022 12:03 429456 xotcl-dev_1.6.8-5_x32.deb 15-Mar-2022 12:03 63160 xotcl-shells-dbgsym_1.6.8-5_x32.deb 15-Mar-2022 12:03 731528 xotcl-shells_1.6.8-5_x32.deb 15-Mar-2022 12:03 144728 xotcl_1.6.8-5_x32.buildinfo 15-Mar-2022 12:03 8036 xotcl_1.6.8-5_x32.deb 15-Mar-2022 12:03 245576