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

biforcado de oss/openadk

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