ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification

[Volker Stolz]

Synopsis: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification

State-Changed-From-To: open->feedback
State-Changed-By: vs
State-Changed-When: Thu Apr 13 12:33:01 UTC 2006
State-Changed-Why: 
As of 2006-04-05, there is already lang/maude in the ports tree.
Please check if the current port lacks anything that your version provides!
-- Volker


Responsible-Changed-From-To: freebsd-ports-bugs->vs
Responsible-Changed-By: vs
Responsible-Changed-When: Thu Apr 13 12:33:01 UTC 2006
Responsible-Changed-Why: 
As of 2006-04-05, there is already lang/maude in the ports tree.
Please check if the current port lacks anything that your version provides!
-- Volker

http://www.freebsd.org/cgi/query-pr.cgi?pr=93694