Страница за изтегляне на quickchick_2.1.0-1+b2_arm64.deb за 64-bit ARMv8 машини

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/c/coq-quickchick/ на всеки от следните сайтове:

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

Още информация за quickchick_2.1.0-1+b2_arm64.deb:

Точна големина 536168 байт (523,6 kByte)
контролна сума MD5 57b2be48f2b7593257bd49966ce3d96f
контролна сума SHA1 c937603308fbe4d125c3c80f6dbc5c9303ca6375
контролна сума SHA256 e1e1d710729b54844fcf2cc1040a82ef756b785d7005371b09cfef443f1867dc