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 (>= 2.16) [x32]

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

  dep: libc6 (>= 2.2) [hppa, sparc64]

  dep: libc6 (>= 2.31) [sh4]

• dep: libc6.1 (>= 2.1.3) [alpha]

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

  dep: libc6.1 (>= 2.31) [ia64]

• 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
alpha (unofficial port)	8.12.0-3+b3	5,333.0 kB	22,945.0 kB	[list of files]
hppa (unofficial port)	8.12.0-3+b3	5,333.8 kB	22,949.0 kB	[list of files]
ia64 (unofficial port)	8.12.0-3+b3	5,337.5 kB	22,974.0 kB	[list of files]
sh4 (unofficial port)	8.12.0-3+b3	5,334.7 kB	22,940.0 kB	[list of files]
sparc64 (unofficial port)	8.12.0-3+b3	5,331.4 kB	22,946.0 kB	[list of files]
x32 (unofficial port)	8.12.0-3+b3	5,333.5 kB	22,947.0 kB	[list of files]