Index of /pool_old/main/g/gmp/

../
libgmp10_5.1.3+dfsg-1ubuntu1_amd64.deb             01-Feb-2016 16:46              218280
libgmp10_5.1.3+dfsg-1ubuntu1_i386.deb              01-Feb-2016 16:10              229610