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