Package: gmp Version: 2:5.0.2+dfsg-2 Tags: patch User: ubuntu-devel at 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