Date: Fri, 8 Jul 2016 13:08:33 +0200 From: Kurt Jaeger <lists@opsec.eu> To: Eduardo Morras <emorrasg@yahoo.es> Cc: ports@FreeBSD.org Subject: Re: FreeBSD Port: lang/maude Message-ID: <20160708110832.GA95302@home.opsec.eu> In-Reply-To: <20160708125449.1ebe20443e1e1ef1f7e24862@yahoo.es> References: <20160708125449.1ebe20443e1e1ef1f7e24862@yahoo.es>
next in thread | previous in thread | raw e-mail | index | archive | help
Hello, > Hello, I'm not on the list, reply me directly. Note I'm not a > Maude user/developer. > > Current source: > > http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz > > Homepage: > > http://maude.cs.illinois.edu/ Please look at https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=210018 where an upgrade is discussed and it looks like providing a patch is non-trivial. -- pi@opsec.eu +49 171 3101372 4 years to go !
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20160708110832.GA95302>