On Fri, 8 Jul 2016 13:08:33 +0200 Kurt Jaeger <li...@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. > -- > p...@opsec.eu +49 171 3101372 4 > years to go ! --- --- Eduardo Morras <emorr...@yahoo.es> _______________________________________________ freebsd-ports@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"