id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 56661,Maude 2.6: fails to build,siccegge,siccegge," build failure: {{{ :info:build In file included from stringOpSymbol.cc:58: :info:build In file included from ./stringDagNode.hh:28: :info:build ../../src/Utility/ropeStuff.hh:37:14: fatal error: 'ext/rope' file not found :info:build #include :info:build ^~~~~~~~~~ :info:build 2 warnings and 1 error generated. }}} ",defect,closed,Normal,,ports,2.5.1,fixed,,,maude