Paket: libcoq-ocaml-dev (8.12.0-3 och andra) [debports]

[ Källkod:  ]

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.

Andra paket besläktade med libcoq-ocaml-dev

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

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

• dep: libcairo2-ocaml-dev-56yq1

  Paketet inte tillgängligt

• dep: libcoq-ocaml-4s3g2

  virtuellt paket som tillhandahålls av libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Paketet inte tillgängligt

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Paketet inte tillgängligt

• dep: libnum-ocaml-dev-3st20

  virtuellt paket som tillhandahålls av libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Paketet inte tillgängligt

Hämta libcoq-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	8.12.0-3+b3	11.015,9 kbyte	43.092,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	8.12.0-3+b3	11.018,4 kbyte	43.103,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	8.12.0-3+b3	11.015,6 kbyte	43.092,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	8.12.0-3+b3	11.019,6 kbyte	43.103,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	8.12.0-3+b3	11.014,8 kbyte	43.092,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	8.12.0-3+b3	11.018,4 kbyte	43.103,0 kbyte	[filförteckning]