Micro-GMP

Tue Dec 11 02:57:26 UTC 2018

Il Mar, 11 Dicembre 2018 3:55 am, Marco Bodrato ha scritto:
> Ok, I attach it again, with -p, and slightly improved.

I forgot it...
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mini-support-micro.diff
Type: text/x-patch
Size: 8685 bytes
Desc: not available
URL: <https://gmplib.org/list-archives/gmp-devel/attachments/20181211/4c653143/attachment.bin>