» Ubuntu » Пакети » questing » libcoq-stdlib » arm64 » Изтегляне

Страница за изтегляне на libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb за 64-bit ARMv8 машини

Ако използвате Ubuntu се препоръчва използването на програма за управление на пакетите като aptitude или synaptic за изтегляне и инсталиране на пакети, вместо ръчната процедура.

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

deb http://cz.archive.ubuntu.com/ubuntu questing main universe

Заместете cz.archive.ubuntu.com/ubuntu с предпочитания огледален сървър.

Можете да изтеглите искания файл от директорията pool/universe/c/coq/ на всеки от следните сайтове:

Ако никой от горните сървъри не е достатъчно бърз за вас, вижте пълния списък с огледални сървъри.

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

Още информация за libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb:

Точна големина 26921824 байт (25,7 MByte)
контролна сума MD5 03c6a13663ec61307c7cc266fa03e25e
контролна сума SHA1 ceff28c8804c37b2c7358fc5406d7c8de2066bf1
контролна сума SHA256 7ac5f7775c050fe73a64f5f1b862ce95c0fc7d86a04de175e5875348e4f153d2