../ gmp_6.1.0+dfsg-2.debian.tar.xz 17-Nov-2015 17:20 20576 gmp_6.1.0+dfsg-2.dsc 17-Nov-2015 17:20 2161 gmp_6.1.0+dfsg.orig.tar.xz 15-Nov-2015 23:14 1786120 libgmp-dev_6.1.0+dfsg-2_amd64.deb 17-Nov-2015 17:21 313962 libgmp10-doc_6.1.0+dfsg-2_all.deb 17-Nov-2015 17:21 159956 libgmp10_6.1.0+dfsg-2_amd64.deb 17-Nov-2015 17:21 240084 libgmp3-dev_6.1.0+dfsg-2_amd64.deb 17-Nov-2015 17:21 1920 libgmpxx4ldbl_6.1.0+dfsg-2_amd64.deb 17-Nov-2015 17:21 8948