lang/maude/DESCR: ca2f69e9c5b43450c20bad2b7b6fca374320720ca0c3aab554c93558933d56e6
lang/maude/MESSAGE: 2b0fa4175c8dbd7ac8cf9958bac5b6d38fb933e209da545e94c9c7e407c8b8a7
lang/maude/Makefile: 866975dae01e4bf75d9595a792ed340a5e7b1c33853af095d0a50af89733c873
lang/maude/PLIST: 32a4cb70cc5c818a82d6b52fef1059554650b117e36839d71519d13f241a5eea
lang/maude/distinfo: 94b3f3e44081b21facf629dc7ae1ce93431b41b218b1cedbc7dad47c69b903aa
lang/maude/make.core: 
