Binary package “libsfgcc-4.7-dev” in ubuntu trusty
GCC support library (soft float ABI development files)
This package contains the headers and static library files necessary for
building C programs which use libgcc, libgomp, libquadmath, libssp or libitm.