/fi.good/1.1.1.1/Sun Mar 22 14:56:42 2009//
/noglue.good/1.1.1.1/Sun Mar 22 14:56:42 2009//
/xx.good/1.1.1.1/Sun Mar 22 14:56:42 2009//
/yy.good/1.1.1.1/Sun Mar 22 14:56:42 2009//
D/ns1////
/setup.sh/1.1.1.4/Wed Dec  5 03:01:47 2012//
/clean.sh/1.1.1.5/Fri May 27 03:00:34 2016//
/tests.sh/1.1.1.6/Fri Jun 16 03:00:35 2017//
