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

[ Източник: coq  ]

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.

Етикети: Role: Shared Library

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

• dep: libc6 (>= 2.1.3) [i386]

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

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [mips64el, mipsel]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel, armhf]

• dep: libcairo2-ocaml-56yq1 [armel, mips64el, mipsel]

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

• dep: libcairo2-ocaml-5scl0 [armhf, i386]

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

• dep: libcairo2-ocaml-vwag2 [amd64, arm64, ppc64el]

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

• dep: liblablgtk3-ocaml-0kl61 [armel, mips64el, mipsel]

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

• dep: liblablgtk3-ocaml-hdqe0 [armhf, i386]

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

• dep: liblablgtk3-ocaml-x0f80 [amd64, arm64, ppc64el]

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

• dep: liblablgtksourceview3-ocaml-0eup3 [armel, mips64el, mipsel]

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

• dep: liblablgtksourceview3-ocaml-5j5o8 [amd64, arm64, ppc64el]

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

• dep: liblablgtksourceview3-ocaml-m95m5 [armhf, i386]

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

• dep: libnum-ocaml-3st20 [armel, mips64el, mipsel]

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

• dep: libnum-ocaml-80ki3 [amd64, arm64, ppc64el]

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

• dep: libnum-ocaml-hqq52 [armhf, i386]

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

• dep: ocaml-base-nox-4.11.1

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

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

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

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	8.12.0-3+b3	7 576,3 кБ	32 701,0 кБ	[списък на файловете]
arm64	8.12.0-3+b3	7 793,4 кБ	34 222,0 кБ	[списък на файловете]
armel	8.12.0-3+b3	5 332,2 кБ	22 943,0 кБ	[списък на файловете]
armhf	8.12.0-3+b3	7 561,6 кБ	30 008,0 кБ	[списък на файловете]
i386	8.12.0-3+b3	7 398,2 кБ	31 213,0 кБ	[списък на файловете]
mips64el	8.12.0-3+b3	5 331,9 кБ	22 943,0 кБ	[списък на файловете]
mipsel	8.12.0-3+b3	5 332,1 кБ	22 946,0 кБ	[списък на файловете]
ppc64el	8.12.0-3+b3	7 632,8 кБ	34 259,0 кБ	[списък на файловете]