/binpkg-cache/1.23/Mon Nov  8 01:01:47 2021//
/binpkg-scan/1.5/Mon Nov  8 01:01:47 2021//
/chkdatabase.awk/1.4/Mon Nov  8 01:01:47 2021//
/depends-depth-first.awk/1.7/Mon Nov  8 01:01:47 2021//
/fail/1.1/Sat Jan  6 19:53:01 2007//
/genindex.awk/1.9/Mon Nov  8 01:01:47 2021//
/genreadme.awk/1.49/Mon Nov  8 01:01:47 2021//
/htmloptions.awk/1.4/Mon Feb 22 04:19:00 2021//
/larger_symbol_version.awk/1.1/Sun Sep  8 14:47:53 2019//
/mkdatabase/1.11/Mon Nov  8 01:01:47 2021//
/pkg_path/1.5/Mon Nov  8 01:01:47 2021//
/shell-lib/1.5/Mon Nov  8 01:01:47 2021//
/subst-identity.awk/1.5/Sat Jun  6 13:17:34 2020//
/remove_todo/1.4/Sat Feb 19 01:01:02 2022//
/mkreadme/1.35/Mon Jul 18 01:00:48 2022//
D