Download Page for libgmp-dev_6.1.2+dfsg-4_armhf.deb on machines
You should be able to use any of the listed mirrors by adding a line to your /etc/apt/sources.list like this:
deb http:// disco main
Replacing with the mirror in question.
You can download the requested file from the pool/main/g/gmp/ subdirectory at any of these sites:
Note that in some browsers you will need to tell your browser you want the file saved to a file. For example, in Firefox or Mozilla, you should hold the Shift key when you click on the URL.
More information on libgmp-dev_6.1.2+dfsg-4_armhf.deb:
|Exact Size||265616 Byte (259.4 kByte)|