FreeBSD Port: lang/maude
emorrasg at yahoo.es
Fri Jul 8 11:49:31 UTC 2016
On Fri, 8 Jul 2016 13:08:33 +0200
Kurt Jaeger <lists at opsec.eu> wrote:
> > 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
> 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>
More information about the freebsd-ports