Simon Marlow
authored
The fptools version of this package needs different Makefiles, so add them and remove the original GNUmakefiles.
The fptools version of this package needs different Makefiles, so add them and remove the original GNUmakefiles.