FreeBSD Port: lang/maude

[Eduardo Morras]

On Fri, 8 Jul 2016 13:08:33 +0200
Kurt Jaeger <lists at 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 at opsec.eu            +49 171 3101372                         4
> years to go !


---   ---
Eduardo Morras <emorrasg at yahoo.es>