../ gmp4_4.3.2+dfsg-2ubuntu1.diff.gz 28-Apr-2011 14:12 16255 gmp4_4.3.2+dfsg-2ubuntu1.dsc 28-Apr-2011 14:12 1455 gmp4_4.3.2+dfsg.orig.tar.gz 28-Apr-2011 14:12 2655879 lib32gmp3_4.3.2+dfsg-2ubuntu1_amd64.deb 28-Apr-2011 14:13 251216 libgmp3c2_4.3.2+dfsg-2ubuntu1_amd64.deb 28-Apr-2011 14:13 301382 libgmp3c2_4.3.2+dfsg-2ubuntu1_i386.deb 28-Apr-2011 14:14 318720