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

Pakiet: libcoq-core-ocaml-dev (8.19.1+dfsg-3 i inne)

Odnośniki dla libcoq-core-ocaml-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.

Inne pakiety związane z libcoq-core-ocaml-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-core-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
s390x 8.19.1+dfsg-3+b2 65 134,8 KiB127 507,0 KiB [lista plików]