Thorsten Glaser 0017dca1c1 port OpenADK to a Debian/x32 host %!s(int64=10) %!d(string=hai) anos
..
Makefile 0017dca1c1 port OpenADK to a Debian/x32 host %!s(int64=10) %!d(string=hai) anos
Makefile.inc 937e9abf2a update gmp to latest upstream %!s(int64=10) %!d(string=hai) anos