20 Oct
2020
20 Oct
'20
2:46 p.m.
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton <phil.clayton at 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/