Página de download para proofgeneral_4.5-3_all.deb

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/p/proofgeneral/ 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 proofgeneral_4.5-3_all.deb:

Tamanho exato 640580 Byte (625.6 kByte)
Soma de verificação MD5 1cbbbcd9d8444a44157cfaaa3498a1ce
Soma de verificação SHA1 92c645221e7ecec43200bbc64e76f5bf123856ce
Soma de verificação SHA256 3da387654657c3bb09e67f4d4bf3eadf3e85a016dd7a973598db338479fd081b