Página de download para libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb em máquinas ARMv8 64-bit

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.

Você deve ser capaz de usar qualquer um dos espelhos listados ao adicionar uma linha como esta no seu arquivo /etc/apt/sources.list:

deb http://mirror.elxr.dev/elxr bianca main

Substituindo mirror.elxr.dev/elxr pelo espelho em questão.

Você pode baixar o arquivo solicitado do subdiretório pool/main-debian-community/c/cryptominisat/ em qualquer um destes sites:

Observe que, em alguns navegadores, você precisará informar que deseja que o arquivo seja salvo como um arquivo. Por exemplo, no Firefox ou Mozilla, pressione a tecla Shift ao clicar na URL.

Mais informações sobre libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb:

Tamanho exato 18820 Byte (18.4 kByte)
Soma de verificação MD5 0c71816426e047c46f4634107f371b84
Soma de verificação SHA1 ead330d5055d4165faf3a7025e6f7c9fd52f7344
Soma de verificação SHA256 4b891bedd2b20ec3dfa672465cf45046e1e3109e2ed2fc1ae244a4396b417d5c