Index of /pub/pkgsrc/misc/joerg/20170827.2243/grub-0.97nb10/

Name	Size	Date
📁 ../	-	-
📄 checksum.log	552 bytes	2017-08-28 10:20:40
📄 configure.log	12450 bytes	2017-08-28 10:20:47
📄 depends.log	60 bytes	2017-08-28 10:20:39
📄 pre-clean.log	32 bytes	2017-08-28 10:20:39
📄 work.log	5928 bytes	2017-08-28 10:20:46