Download Page for ginac-tools_1.8.8-1+b1_amd64.deb on AMD64 machines
If you are running eLxr, it is strongly suggested to use a package manager like apt to download and install packages, instead of doing so manually via this website.
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://mirror.elxr.dev/elxr bianca main
Replacing mirror.elxr.dev/elxr with the mirror in question.
You can download the requested file from the pool/main-debian-community/g/ginac/ 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 ginac-tools_1.8.8-1+b1_amd64.deb:
| Exact Size | 74672 Byte (72.9 kByte) |
|---|---|
| MD5 checksum | 63e99c70815bc1db18a6f3600b624ee7 |
| SHA1 checksum | 5b267e85dcd503254ce9510499a5915af866eae3 |
| SHA256 checksum | 4ec71752d9572947f49ae75d941d44057ec5f0db4e4327a336ffb0019c5d08ed |