Christian Maeder schrieb: > It seems our GMP.framework is only suited for Powerpc. I'll look after > it. Thanks for your hints and sorry for the inconveniences. (Meanwhile > you could try to get the GMP.framework for intel macs from elsewhere.)
>> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP-framework.zip is a working framework for Intel and Powerpc. C. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users