Пакет: libcoq-ocaml (8.12.0-3 и други) [debports]

[ Източник:  ]

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.

Други пакети, свързани с libcoq-ocaml

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

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

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

  dep: libc6 (>= 2.31) [sh4]

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

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6.1-udeb

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

• dep: libcairo2-ocaml-56yq1

  Пакетът не е наличен

• dep: liblablgtk3-ocaml-0kl61

  Пакетът не е наличен

• dep: liblablgtksourceview3-ocaml-0eup3

  Пакетът не е наличен

• dep: libnum-ocaml-3st20

  виртуален пакет, предлаган от libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Пакетът не е наличен

Изтегляне на libcoq-ocaml

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	8.12.0-3+b3	5 333,0 кБ	22 945,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	8.12.0-3+b3	5 333,8 кБ	22 949,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	8.12.0-3+b3	5 337,5 кБ	22 974,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	8.12.0-3+b3	5 334,7 кБ	22 940,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	8.12.0-3+b3	5 331,4 кБ	22 946,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	8.12.0-3+b3	5 333,5 кБ	22 947,0 кБ	[списък на файловете]