wszystkie opcje
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Pakiet źródłowy: coq  ]

Pakiet: libcoq-ocaml (8.9.1-1 i inne)

Odnośniki dla libcoq-ocaml

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides runtime libraries for Coq.

Inne pakiety związane z libcoq-ocaml

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 8.9.1-1 3 544,6 KiB14 123,0 KiB [lista plików]
amd64 8.9.1-1 5 384,9 KiB23 606,0 KiB [lista plików]
arm64 8.9.1-1 5 722,1 KiB25 790,0 KiB [lista plików]
armel 8.9.1-1 3 542,6 KiB14 113,0 KiB [lista plików]
armhf 8.9.1-1 5 311,6 KiB20 429,0 KiB [lista plików]
hppa (port nieoficjalny) 8.9.1-1 3 546,2 KiB14 122,0 KiB [lista plików]
i386 8.9.1-1 5 113,6 KiB21 482,0 KiB [lista plików]
mips64el 8.9.1-1 3 542,3 KiB14 120,0 KiB [lista plików]
mipsel 8.9.1-1 3 544,8 KiB14 119,0 KiB [lista plików]
powerpcspe (port nieoficjalny) 8.9.0-1 3 498,1 KiB13 914,0 KiB [lista plików]
ppc64 (port nieoficjalny) 8.9.1-1 5 501,7 KiB26 355,0 KiB [lista plików]
ppc64el 8.9.1-1 5 501,7 KiB25 267,0 KiB [lista plików]
riscv64 (port nieoficjalny) 8.9.1-1 3 542,0 KiB14 110,0 KiB [lista plików]
s390x 8.9.1-1 5 481,0 KiB24 890,0 KiB [lista plików]
sh4 (port nieoficjalny) 8.9.1-1 3 547,3 KiB14 113,0 KiB [lista plików]
sparc64 (port nieoficjalny) 8.9.1-1 3 542,0 KiB14 123,0 KiB [lista plików]
x32 (port nieoficjalny) 8.9.1-1 3 542,8 KiB14 117,0 KiB [lista plików]