GMP.framework

[Christian Maeder]

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.