Pakiet: libcoq-ocaml (8.12.0-3 i inne) [debports]

Odnośniki dla libcoq-ocaml

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

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

dep: libc6.1 (>= 2.1.3)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
dep: libcairo2-ocaml-56yq1

Pakiet niedostępny
dep: liblablgtk3-ocaml-0kl61

Pakiet niedostępny
dep: liblablgtksourceview3-ocaml-0eup3

Pakiet niedostępny
dep: libnum-ocaml-3st20

pakiet wirtualny udostępniany przez libnum-ocaml
dep: ocaml-base-nox-4.11.1

Pakiet niedostępny

Pobieranie libcoq-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.12.0-3+b3	5 333,0 KiB	22 945,0 KiB	[lista plików]