100644 blob 7a68160da41ca46055d70fdca39754db41535d7c	Config.in
100644 blob db9bbb45489b7445cf0be9a1fd0e02a4df526ef0	whetstone.hash
100644 blob 3b6ec3419b436e30e44ac9642ada274fd5400fc5	whetstone.mk