Hi Ken, On Mon, Feb 27, 2017 at 11:57:10AM -0500, Kenneth R Westerback wrote: > Edd: > ./devel/ocaml-mlgmp 0.13/20120224/20120224
I think I was experimenting with this during my PhD. I certainly don't use it now. Nothing depends on it. It can probably go. -- Best Regards Edd Barrett http://www.theunixzoo.co.uk