3 Dec
2007
3 Dec
'07
5:33 a.m.
David> It would be helpful to be kept aware if anyone is planning to David> package Poly/ML for any of the distributions just to keep track David> of them and to avoid duplication of effort.
Debian packages are available here:
http://madbat.mine.nu/public/polyml/
These are for the testing branch, since that is what I mostly use. If someone needs packages with dependencies more suitable for a stable installation, contact me and we can work something out.
David, please comment on the copyrights (i.e. /usr/share/doc/polyml/copyright in the polyml package), I am not sure about them.
--
Ham is for reading, not for eating.