lang/maude/DESCR: ca2f69e9c5b43450c20bad2b7b6fca374320720ca0c3aab554c93558933d56e6
lang/maude/MESSAGE: 2b0fa4175c8dbd7ac8cf9958bac5b6d38fb933e209da545e94c9c7e407c8b8a7
lang/maude/Makefile: b8050b1573a1a125b59eb2109dd53a324632dce47f5d17844eda7240c78c3ec5
lang/maude/PLIST: 32a4cb70cc5c818a82d6b52fef1059554650b117e36839d71519d13f241a5eea
lang/maude/distinfo: 94b3f3e44081b21facf629dc7ae1ce93431b41b218b1cedbc7dad47c69b903aa
lang/maude/patches/patch-ab: 304a065ad4777a8087bee50ae9401bfccfb172a04b7a9078ab66ec2349135713
lang/maude/patches/patch-ac: 2d5eb36c907ce134e16cdc66229aa43ff76eace69c0630dab87135fa58f9862b
lang/maude/patches/patch-src_BuiltIn_stringOpSymbol.cc: 0054cc8997d806440018f1bb16b6c22f58815a6904fff79c1b422378160938cb
lang/maude/patches/patch-src_Mixfix_bottom.yy: 1f508b05c7849c2a424730eb1ea862afe32b64288d14168a2477aee32a9ebb63
lang/maude/patches/patch-src_Mixfix_commands.yy: 5430ea8bbbf28c6f1845ad4a2fe831721f9d8027f6e7162cf291a02b76f2669d
lang/maude/patches/patch-src_Mixfix_interact.cc: 6225f444d4e5f1b5a3eff3612224a289db1dfda458ab3a7c6843cd2d3dac0f99
lang/maude/patches/patch-src_Mixfix_lexerAux.cc: a73ecfc7642f404b7be76ebdaeb5f6b477df7b78e5cffa9562b6449b2c8c8d0d
lang/maude/patches/patch-src_Mixfix_lexerAux.hh: db1ed3337011008d0b2995f2facaee93585d0afd2093f9789fd1e9193074ec0b
lang/maude/patches/patch-src_Mixfix_modules.yy: 89072a2898e081ad30dc501231b0a7820fa1672f0b3397c2db1072317fd6a77e
lang/maude/patches/patch-src_Mixfix_token.cc: f84610b7251f9b4b3dbe6235a046e68fa0414e767cf103d0dbc099e412421806
lang/maude/patches/patch-src_Mixfix_top.yy: 3d76b72cb53243ff680be34b92f6a35cbba752620890cb08963c0c343e67025f
lang/maude/patches/patch-src_ObjectSystem_configSymbol.hh: 35afc82297514ecdc69c1c5145b1d74a47666745769385811c81dcb8d36f0e6e
lang/maude/patches/patch-src_ObjectSystem_objectMap.cc: f816b8ff24744b4d0b17dfcef287d59ce7c9d4906399994a2b3099fd24fcc367
lang/maude/patches/patch-src_ObjectSystem_objectSystemRewritingContext.hh: c0015614febb90dd57e9d3ab94488c688d2f123af9a816d2801d9d2151d6004d
lang/maude/patches/patch-src_Utility_ropeStuff.hh: 59da3489ace4f139413ae1e3b220bbce3a97992d658b1dd7d2e1f08ae027279a
