On Fri, 8 Jul 2016 13:08:33 +0200 Kurt Jaeger <[email protected]> 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. > -- > [email protected] +49 171 3101372 4 > years to go ! --- --- Eduardo Morras <[email protected]> _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
