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

[ Källkod:  ]

runtime libraries 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 runtime libraries for Coq.

Andra paket besläktade med libcoq-ocaml

• dep: libc6 (>= 2.16) [x32]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

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

  dep: libc6 (>= 2.31) [sh4]

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

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

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

• dep: libcairo2-ocaml-56yq1

  Paketet inte tillgängligt

• dep: liblablgtk3-ocaml-0kl61

  Paketet inte tillgängligt

• dep: liblablgtksourceview3-ocaml-0eup3

  Paketet inte tillgängligt

• dep: libnum-ocaml-3st20

  virtuellt paket som tillhandahålls av libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Paketet inte tillgängligt

Hämta libcoq-ocaml

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	8.12.0-3+b3	5.333,0 kbyte	22.945,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	8.12.0-3+b3	5.333,8 kbyte	22.949,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	8.12.0-3+b3	5.337,5 kbyte	22.974,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	8.12.0-3+b3	5.334,7 kbyte	22.940,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	8.12.0-3+b3	5.331,4 kbyte	22.946,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	8.12.0-3+b3	5.333,5 kbyte	22.947,0 kbyte	[filförteckning]