Accueil Explorer Aide
Connexion
oss
/
openadk
4
1
Fork 3
Fichiers Tickets 1 Pull Requests 0 Wiki
Aborescence: 56eb2a9f87
Branches Tags
openadk
/
toolchain
/
gmp
Thorsten Glaser 0017dca1c1 port OpenADK to a Debian/x32 host il y a 10 ans
..
Makefile 0017dca1c1 port OpenADK to a Debian/x32 host il y a 10 ans
Makefile.inc 937e9abf2a update gmp to latest upstream il y a 10 ans