Date: Fri, 8 Jul 2016 13:48:47 +0200 From: Eduardo Morras <emorrasg@yahoo.es> To: Kurt Jaeger <lists@opsec.eu> Cc: ports@FreeBSD.org Subject: Re: FreeBSD Port: lang/maude Message-ID: <20160708134847.8f9f914bae625da1b487dc2e@yahoo.es> In-Reply-To: <20160708110832.GA95302@home.opsec.eu> References: <20160708125449.1ebe20443e1e1ef1f7e24862@yahoo.es> <20160708110832.GA95302@home.opsec.eu>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, 8 Jul 2016 13:08:33 +0200 Kurt Jaeger <lists@opsec.eu> wrote: > 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. Opps, sorry for the noise and thanks for pointing I must check bugzilla before mailing about ports status. > -- > pi@opsec.eu +49 171 3101372 4 > years to go ! --- --- Eduardo Morras <emorrasg@yahoo.es>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20160708134847.8f9f914bae625da1b487dc2e>