Страница за изтегляне на libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb за AMD64 машини

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

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

Още информация за libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb:

Точна големина 68700208 байт (65,5 MByte)
контролна сума MD5 2b6697b3814c7089446f58ca7323e3a0
контролна сума SHA1 23a97617cbb161e3b0434a0a3e90291930698992
контролна сума SHA256 b4e4b99984f457c63a188381f889789ded1ec38a5d43bc1da831d76a8e76d4c5