/DEINSTALL.in/1.3/Fri Feb 11 01:11:57 2022//Tpkgsrc-2024Q1
/INSTALL.in/1.3/Fri Feb 11 01:11:57 2022//Tpkgsrc-2024Q1
/README.md/1.1/Fri Feb 11 05:24:06 2022//Tpkgsrc-2024Q1
/build-type.awk/1.4/Thu Oct 26 07:07:47 2023//Tpkgsrc-2024Q1
/gen-setup.sh/1.2/Mon Feb  7 02:39:41 2022//Tpkgsrc-2024Q1
D/tools////