This website works better with JavaScript
Home
Explore
Help
Sign In
oss
/
openadk
Watch
4
Star
1
Fork
3
Files
Issues
1
Pull Requests
0
Wiki
Tree:
0d2d7e93f8
Branches
Tags
master
openadk
/
toolchain
/
gmp
Thorsten Glaser
0017dca1c1
port OpenADK to a Debian/x32 host
10 years ago
..
Makefile
0017dca1c1
port OpenADK to a Debian/x32 host
10 years ago
Makefile.inc
937e9abf2a
update gmp to latest upstream
10 years ago