Index of /pub/pkgsrc/misc/joerg/20170108.1016/smlnj-110.72

	Name	Last modified	Size	Description
	Parent Directory		-
	build.log	2017-01-12 02:30	76K
	checksum.log	2017-01-12 02:29	12K
	configure.log	2017-01-12 02:29	38K
	depends.log	2017-01-12 02:29	60
	pre-clean.log	2017-01-12 02:29	31
	work.log	2017-01-12 02:30	115K