Index of /odroid/mirror/ports.ubuntu.com/ubuntu-ports/pool/main/g/gmp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libgmp-dev_6.2.0+dfsg-4_arm64.deb2020-02-24 11:48 294K 
[ ]libgmp3-dev_6.2.0+dfsg-4_arm64.deb2020-02-24 11:48 2.0K 
[ ]libgmp10-doc_6.2.0+dfsg-4_all.deb2020-02-24 11:18 148K 
[ ]libgmp10_6.2.0+dfsg-4_arm64.deb2020-02-24 11:48 213K 
[ ]libgmpxx4ldbl_6.2.0+dfsg-4_arm64.deb2020-02-24 11:48 8.6K