Date: Thu, 13 Apr 2006 12:35:24 GMT From: Volker Stolz <vs@FreeBSD.org> To: llwang@infor.org, vs@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, vs@FreeBSD.org Subject: Re: ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification Message-ID: <200604131235.k3DCZO3w048400@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200604131235.k3DCZO3w048400>