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

[ Pakiet źródłowy:  ]

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-ocaml-dev

• dep: coq (= 8.12.0-3+b3)

  Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

• dep: libcairo2-ocaml-dev-56yq1

  Pakiet niedostępny

• dep: libcoq-ocaml-4s3g2

  pakiet wirtualny udostępniany przez libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Pakiet niedostępny

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Pakiet niedostępny

• dep: libnum-ocaml-dev-3st20

  pakiet wirtualny udostępniany przez libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Pakiet niedostępny

Pobieranie libcoq-ocaml-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.12.0-3+b3	11 015,9 KiB	43 092,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.12.0-3+b3	11 018,4 KiB	43 103,0 KiB	[lista plików]
ia64 (port nieoficjalny)	8.12.0-3+b3	11 015,6 KiB	43 092,0 KiB	[lista plików]
sh4 (port nieoficjalny)	8.12.0-3+b3	11 019,6 KiB	43 103,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	8.12.0-3+b3	11 014,8 KiB	43 092,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.12.0-3+b3	11 018,4 KiB	43 103,0 KiB	[lista plików]