FreeBSD Port: lang/maude

[Kurt Jaeger]

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 at opsec.eu            +49 171 3101372                         4 years to go !