Página de download para libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb em máquinas RISC-V 64-bit little endian (riscv64)

Se estiver executando Debian, é altamente recomendável usar um gerenciador de pacotes como aptitude ou synaptic para baixar e instalar pacotes em vez de fazê-lo manualmente por meio deste site.

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://ftp.de.debian.org/debian sid main

Substituindo ftp.de.debian.org/debian pelo espelho em questão.

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

América do Norte

América do Sul

Ásia

África

Europa

Oceania

Se nenhum dos sites acima for rápido o suficiente para você, consulte nossa lista completa de espelhos.

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-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb:

Tamanho exato 26021184 Byte (24.8 MByte)
Soma de verificação MD5 f3b89e6016c344157ac71679b6399adf
Soma de verificação SHA1 Não disponível
Soma de verificação SHA256 48369ca7397350eba3473325aa80261d33c789592d19f21b8657c7c950eef33b