avr32: use 4.4.x, serial is broken in 4.9.x
[openadk.git] / package / gmp / 
treee98f10220211d2257ac7602fc8df8ea8380b57f0
drwxr-xr-x   ..
-rw-r--r-- 876 Makefile
drwxr-xr-x - patches