Página de download para libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb em máquinas 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.

Você deve ser capaz de usar qualquer um dos espelhos listados ao adicionar uma linha como esta no seu arquivo /etc/apt/sources.list:

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

Substituindo mirror.elxr.dev/elxr pelo espelho em questão.

Você pode baixar o arquivo solicitado do subdiretório pool/main-debian-community/c/coq-serapi/ em qualquer um destes sites:

Observe que, em alguns navegadores, você precisará informar que deseja que o arquivo seja salvo como um arquivo. Por exemplo, no Firefox ou Mozilla, pressione a tecla Shift ao clicar na URL.

Mais informações sobre libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb:

Tamanho exato 17397424 Byte (16.6 MByte)
Soma de verificação MD5 c8179b426a296014f7a44ffe4649e500
Soma de verificação SHA1 21e39c237f05a2d02c3b2ba1a324228bd7fc1ec0
Soma de verificação SHA256 7e731ffc9b0b7d3928b84100a94f1c8d298eb6a1224fe978d588694901fd8e64