D/tools////
/gen-setup.sh/1.2/Tue Feb  8 01:00:57 2022//
/README.md/1.1/Fri Feb 11 05:24:06 2022//
/build-type.awk/1.4/Fri Oct 27 01:00:54 2023//
/DEINSTALL.in/1.4/Mon Apr 29 01:01:10 2024//
/INSTALL.in/1.4/Mon Apr 29 01:01:10 2024//
/check-hackage.sh/1.1/Sun Apr 28 10:58:06 2024//
/developer.mk/1.1/Sun Apr 28 10:58:06 2024//
/disable-components.awk/1.1/Sat May  4 11:21:26 2024//
/install.sh/1.1/Mon May  6 09:33:22 2024//