wszystkie opcje
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: coq  ]

Pakiet: libcoq-core-ocaml (8.20.1+dfsg-1 i inne)

Odnośniki dla libcoq-core-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-core-ocaml

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-core-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 8.20.1+dfsg-1+b1 25 347,4 KiB59 789,0 KiB [lista plików]
arm64 8.20.1+dfsg-1+b1 25 769,5 KiB66 046,0 KiB [lista plików]
ppc64el 8.20.1+dfsg-1+b1 25 372,0 KiB64 320,0 KiB [lista plików]
riscv64 8.20.1+dfsg-1+b1 25 411,3 KiB61 638,0 KiB [lista plików]
s390x 8.20.1+dfsg-1+b1 25 391,7 KiB64 199,0 KiB [lista plików]