Bug#698000: gmp: Patch for X32 support

Sat Jan 12 17:35:37 UTC 2013

Source: gmp
Version: 2:5.0.5+dfsg-2
Severity: wishlist
User: debian-x32 at lists.debian.org
Usertags: port-x32 ftbfs-x32
Tags: patch

Here's a patch, based on
<URL:https://sites.google.com/site/x32abi/x32-patches/gmp_fix_for_x32.patch?attredirects=0&d=1>,
to add X32 support to the gmp packages.
-- 
Daniel Schepler
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gmp.debdiff
Type: application/octet-stream
Size: 2689 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20130112/35ed142f/attachment.obj>