../ xotcl-dev_1.6.8-5+b1_riscv64.deb 22-Apr-2024 14:11 61K xotcl-doc_1.6.8-5_all.deb 10-Apr-2023 11:50 618K xotcl-shells_1.6.8-5+b1_riscv64.deb 22-Apr-2024 14:09 146K xotcl_1.6.8-5+b1_riscv64.deb 22-Apr-2024 14:15 241K xotcl_1.6.8-5.debian.tar.xz 15-May-2024 11:54 7324 xotcl_1.6.8-5.dsc 15-May-2024 11:54 2088 xotcl_1.6.8.orig.tar.gz 15-May-2024 11:54 1M