stk/openadk: Open Source Appliance Development Kit @ 1f2b963405322c6782e01b7cd9bded1b258afde7

fork de oss/openadk

Thorsten Glaser 0017dca1c1 port OpenADK to a Debian/x32 host		10 anos atrás
..
Makefile	0017dca1c1 port OpenADK to a Debian/x32 host	10 anos atrás
Makefile.inc	937e9abf2a update gmp to latest upstream	10 anos atrás