/lang/maude/files/
../
patch-src_Mixfix_banner.cc
patch-src_Mixfix_variableGenerator.cc
patch-src_ObjectSystem_socketStuff.cc
patch-src__Main__main.cc
patch-src__Mixfix__global.cc
patch-src__Mixfix__global.hh