Pakiet: libcoq-core-ocaml-dev (9.1.0+dfsg-1)

Odnośniki dla libcoq-core-ocaml-dev

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

Podobne pakiety:

Pakiet eksperymentalny

Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.

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

dep: libcompiler-libs-ocaml-dev-4b6d0

Pakiet niedostępny
dep: libcoq-core-ocaml-rqof7

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libfindlib-ocaml-dev-8k3o3

Pakiet niedostępny
dep: libstdlib-ocaml-dev-m4xw9

Pakiet niedostępny
dep: libzarith-ocaml-dev-h79v1

Pakiet niedostępny
dep: ocaml-5.3.0

Pakiet niedostępny

Pobieranie libcoq-core-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	69 304,8 KiB	135 131,0 KiB	[lista plików]