Страница за изтегляне на 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.

Можете да използвате всеки от показаните огледални сървъри чрез добавяне на ред в /etc/apt/sources.list, подобен на този:

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

Заместете mirror.elxr.dev/elxr с предпочитания огледален сървър.

Можете да изтеглите искания файл от директорията pool/main-debian-community/p/proofgeneral/ на всеки от следните сайтове:

На някои браузъри трябва изрично да се каже да запишат изтеглянето във файл. Във Firefox или Mozilla, например, това става със задържане на клавиша Shift при избиране на връзката.

Още информация за proofgeneral_4.5-3_all.deb:

Точна големина 640580 байт (625,6 kByte)
контролна сума MD5 1cbbbcd9d8444a44157cfaaa3498a1ce
контролна сума SHA1 92c645221e7ecec43200bbc64e76f5bf123856ce
контролна сума SHA256 3da387654657c3bb09e67f4d4bf3eadf3e85a016dd7a973598db338479fd081b