Le mardi 10 janvier 2012 à 19:45 +0000, Sandeep Patel a écrit : > Debian appears to use "gnueabihf". Is there another distro using > "eabihf" that we should deal with while we change this? In case it is not obvious, most (all?) Debian derivatives like Ubuntu will be using it. Sylvestre