Страница за изтегляне на libelpi-ocaml-dev_2.0.7-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/e/elpi/ на всеки от следните сайтове:

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

Още информация за libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb:

Точна големина 15281784 байт (14,6 MByte)
контролна сума MD5 0204fb6dd7c1a5f166dc76b7657397b9
контролна сума SHA1 09bbe03a03c6c57a2c80de712536ff9c96a2cfc3
контролна сума SHA256 ffa37f426e92d2877409060d54748ab9c918d31328f889d97199d1bcb82ffbb8