Index of /debian-updates/pool/main/g/gmp

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]gmp_6.1.2+dfsg-1+deb9u1.debian.tar.xz2021-12-02 18:14 21K
[TXT]gmp_6.1.2+dfsg-1+deb9u1.dsc2021-12-02 18:14 2.2K
[   ]gmp_6.1.2+dfsg.orig.tar.xz2021-12-02 18:14 1.7M
[   ]libgmp-dev_6.1.2+dfsg-1+deb9u1_amd64.deb2021-12-02 18:44 616K
[   ]libgmp3-dev_6.1.2+dfsg-1+deb9u1_amd64.deb2021-12-02 18:44 15K
[   ]libgmp10-doc_6.1.2+dfsg-1+deb9u1_all.deb2021-12-02 18:44 168K
[   ]libgmp10_6.1.2+dfsg-1+deb9u1_amd64.deb2021-12-02 18:44 247K
[   ]libgmpxx4ldbl_6.1.2+dfsg-1+deb9u1_amd64.deb2021-12-02 18:44 22K

Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443