Name	Last modified	Size
	Parent Directory		-
	CVS/	2024-10-18 18:57	-
	binpkg-cache	2020-05-30 03:36	13K
	binpkg-scan	2018-08-22 20:48	4.9K
	chkdatabase.awk	2018-08-22 20:48	3.5K
	depends-depth-first.awk	2018-08-22 20:48	8.6K
	fail	2007-01-06 19:53	79
	genindex.awk	2018-08-22 20:48	10K
	genreadme.awk	2021-04-05 10:32	20K
	htmloptions.awk	2021-02-22 04:19	1.8K
	larger_symbol_version.awk	2019-09-08 14:47	2.6K
	mkdatabase	2018-08-22 20:48	5.8K
	mkreadme	2022-07-17 13:37	13K
	pkg_path	2018-08-22 20:48	3.3K
	remove_todo	2022-02-18 18:10	1.2K
	shell-lib	2018-08-22 20:48	11K
	subst-identity.awk	2020-06-06 13:17	1.8K