| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| lib32gmp-dev_5.1.2+dfsg-2ubuntu1_amd64.deb | 2013-Oct-04 16:23:32 | 305.2K | application/vnd.debian.binary-package |
| lib32gmp10_5.1.2+dfsg-2ubuntu1_amd64.deb | 2013-Oct-04 16:23:33 | 233.5K | application/vnd.debian.binary-package |
| lib32gmpxx4_5.1.2+dfsg-2ubuntu1_amd64.deb | 2013-Oct-04 16:23:33 | 9.4K | application/vnd.debian.binary-package |