Sťahovacia stránka pre proofgeneral-doc_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.

Mali by ste byť schopný použiť ktorékoľvek z uvedených zrkadiel pridaním riadka do vášho súboru /etc/apt/sources.list takto:

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

Kde mirror.elxr.dev/elxr nahradíte dotyčným zrkadlom.

Požadovaný súbor môžete stiahnuť z podadresára pool/main-debian-community/p/proofgeneral/ na ktorejkoľvek z týchto lokalít:

V niektorých prehliadačoch budete musieť prehliadaču povedať, že chcete súbor uložiť na disk. Napr. vo Firefoxe alebo Mozille by ste bali pri kliknutí na odkaz podržať kláves Shift.

Ďalšie informácie o proofgeneral-doc_4.5-3_all.deb:

Presná veľkosť 675940 bajtov (660.1 kBajtov)
kontrolný súčet MD5 22c575028154ce0c20bd1ea6ff8d7a7b
kontrolný súčet SHA1 cde0732c3208850f47fd8e83c0dd7d17c6b96b2f
kontrolný súčet SHA256 01b533494f45b9a0708a4e73b8d6c8e452f7a81890bf3f98ca55e8ae900124b7