Pacote: libcoq-ocaml-dev (8.12.0-3 e outros) [debports]

[ Fonte:  ]

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.

Outros pacotes relacionados a libcoq-ocaml-dev

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

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libcairo2-ocaml-dev-56yq1

  Pacote não disponível

• dep: libcoq-ocaml-4s3g2

  pacote virtual fornecido por libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Pacote não disponível

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Pacote não disponível

• dep: libnum-ocaml-dev-3st20

  pacote virtual fornecido por libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Pacote não disponível

Download de libcoq-ocaml-dev

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
sparc64 (porte não oficial)	8.12.0-3+b3	11,014.8 kB	43,092.0 kB	[lista de arquivos]