Package libifp-devel