-
Committer:
Package Import Robot
-
Author(s):
Jani Monoses
-
Date:
2012-03-07 18:24:17 UTC
-
Revision ID:
package-import@ubuntu.com-20120307182417-ht3n75cm0kgl5wdy
Tags: 7.4.1-1ubuntu2
* debian/patches/ARM-VFPv3D16.patch: Use vfp3-d16 FPU for ARM builds.
* debian/rules: sed-patch the sources into passing -float-abi=hard
when building on armhf. This is a temporary workaround until a
proper patch exists, needed to allow building all the packages that
depend on GHC on armhf.