![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lib32mpfr4_3.1.0-3ubuntu2_amd64.deb | 2017-09-22 21:34 | 194K | |
| libmpfr4_3.1.0-3ubuntu2_amd64.deb | 2017-09-22 21:34 | 196K | |
| lib32mpfr-dev_3.1.0-3ubuntu2_amd64.deb | 2017-09-22 21:35 | 217K | |
| libmpfr-dev_3.1.0-3ubuntu2_amd64.deb | 2017-09-22 21:35 | 242K | |
| libmpfr4-dbg_3.1.0-3ubuntu2_amd64.deb | 2017-09-22 21:33 | 516K | |
| libmpfr-doc_3.1.0-3ubuntu2_all.deb | 2017-09-22 21:34 | 576K | |