../ funtools_1.4.7-1_amd64.deb 20-Dec-2022 22:48 171K libfuntools-dev_1.4.7-1_amd64.deb 20-Dec-2022 22:48 411K libfuntools1_1.4.7-1_amd64.deb 20-Dec-2022 22:48 224K tcl-funtools_1.4.7-1_amd64.deb 20-Dec-2022 22:48 21K