Package: libcoq-ocaml (8.12.0-3 and others) [debports]

[ Source:  ]

librerie runtime per Coq

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce le librerie di runtime per Coq.

Other Packages Related to libcoq-ocaml

• dep: libc6.1 (>= 2.31)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

• dep: libcairo2-ocaml-56yq1

  Package not available

• dep: liblablgtk3-ocaml-0kl61

  Package not available

• dep: liblablgtksourceview3-ocaml-0eup3

  Package not available

• dep: libnum-ocaml-3st20

  virtual package provided by libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Package not available

Download libcoq-ocaml

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ia64 (unofficial port)	8.12.0-3+b3	5,337.5 kB	22,974.0 kB	[list of files]