Package: gmp Version: 2:5.0.2+dfsg-2 Tags: patch User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu precise ubuntu-patch
needed for the armhf port in Debian as well. patch at http://patches.ubuntu.com/g/gmp/gmp_2:5.0.2+dfsg-1ubuntu1.patch -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
