oss/openadk: Open Source Appliance Development Kit @ 4c72bfe6a1c5a943f060d13c2c6dfd7c39902552

Thorsten Glaser 0017dca1c1 port OpenADK to a Debian/x32 host		10 роки тому
..
Makefile	0017dca1c1 port OpenADK to a Debian/x32 host	10 роки тому
Makefile.inc	937e9abf2a update gmp to latest upstream	10 роки тому