On 01/08/12 00:07, Phil Clayton wrote:
yum install \
Of course, you can leave the package polyml out if you're building it
yourself. I believe the Fedora 17 repo supplies 5.4.1.
If you always want to manage your own versions of Poly/ML, you can
ensure that yum never installs the package polyml from any repo by
adding polyml to the line starting
in /etc/yum.conf , e.g.
In my case, I have
Proofpower mailing list