![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lib32gmp-dev_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:35 | 283K | |
| lib32gmp10_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:35 | 219K | |
| lib32gmpxx4_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:33 | 8.3K | |
| libgmp-dev_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:34 | 343K | |
| libgmp3-dev_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:34 | 1.8K | |
| libgmp10-doc_5.0.2+dfsg-2ubuntu1_all.deb | 2017-09-22 21:34 | 145K | |
| libgmp10_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:31 | 233K | |
| libgmpxx4ldbl_5.0.2+dfsg-2ubuntu1_amd64.deb | 2017-09-22 21:33 | 8.5K | |