/ExampleDirectory.oz/1.2/Mon Jan 24 16:37:17 2000//Tmozart-1-2-5-r1
/Makefile.in/1.2.2.2/Fri Aug  3 13:42:22 2001//Tmozart-1-2-5-r1
/configure/1.4.2.7.2.1/Thu Jan 23 15:18:03 2003//Tmozart-1-2-5-r1
/configure.in/1.1/Wed Jan  5 11:09:49 2000//Tmozart-1-2-5-r1
D
