On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton <phil.clay...@veonix.com> wrote: > There are some instructions previously posted here: > http://lists.inf.ed.ac.uk/pipermail/polyml/2017-July/002038.html > which also show how to disable the package manager version of Poly/ML on > Fedora.
I am the current maintainer of the Fedora polyml package. If anyone has problems with it, please let me know. I would like it to work well for Fedora users. I only build official releases, of course, so if you want to follow development, you'll have to build your own version. Otherwise, though, I would like the Fedora package to be of high quality. Regards, -- Jerry James http://www.jamezone.org/ _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml