Package: libcoq-core-ocaml (8.19.1+dfsg-2) [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-core-ocaml

• dep: libc6 (>= 2.4)

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

• dep: libfindlib-ocaml-l8hb7

  virtual package provided by libfindlib-ocaml

• dep: libstdlib-ocaml-gats1

  virtual package provided by libstdlib-ocaml

• dep: libzarith-ocaml-avzf2

  virtual package provided by libzarith-ocaml

• dep: ocaml-base-4.14.1

  virtual package provided by ocaml-base

• sug: ocaml-findlib

  strumento di gestione per librerie Ocaml

Download libcoq-core-ocaml

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	22,815.2 kB	91,125.0 kB	[list of files]