Index of /nova/pool/principal/g/gmp-gcc4/

../
gmp-gcc4_6.1.0+dfsg-2ubuntu5.debian.tar.xz         22-Nov-2018 05:36               22368
gmp-gcc4_6.1.0+dfsg-2ubuntu5.dsc                   22-Nov-2018 05:36                2160
gmp-gcc4_6.1.0+dfsg.orig.tar.xz                    22-Nov-2018 05:36             1786120
libgmpxxv4-4_6.1.0+dfsg-2ubuntu5_amd64.deb         22-Nov-2018 07:24               10028
libgmpxxv4-4_6.1.0+dfsg-2ubuntu5_i386.deb          22-Nov-2018 04:27               10064