Пакет: libcoq-ext-lib (0.12.0-1 и други)

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

Collection of theories and plugins for Coq

This package provides a collection of theories and plugins that may be useful in other Coq developments.

Coq is a proof assistant for higher-order logic.

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

• dep: libcoq-stdlib-84f80 [amd64]

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

• dep: libcoq-stdlib-8u5j8 [armhf]

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

• dep: libcoq-stdlib-97v84 [arm64]

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

• dep: libcoq-stdlib-l2kk4 [riscv64]

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

• dep: libcoq-stdlib-n0k10 [ppc64]

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

• dep: libcoq-stdlib-nhhu6 [ppc64el]

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

• dep: libcoq-stdlib-tp8b6 [i386]

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

• dep: libcoq-stdlib-wsmp7 [s390x]

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

Изтегляне на libcoq-ext-lib

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

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.12.0-1+b1	735,4 кБ	3 615,0 кБ	[списък на файловете]
arm64	0.12.0-1+b1	735,5 кБ	3 615,0 кБ	[списък на файловете]
armhf	0.12.0-1+b1	734,6 кБ	3 605,0 кБ	[списък на файловете]
i386	0.12.0-1+b1	734,6 кБ	3 605,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	0.11.8-1+b2	740,7 кБ	3 670,0 кБ	[списък на файловете]
ppc64el	0.12.0-1+b1	735,4 кБ	3 615,0 кБ	[списък на файловете]
riscv64	0.12.0-1+b1	735,6 кБ	3 615,0 кБ	[списък на файловете]
s390x	0.12.0-1+b1	735,5 кБ	3 615,0 кБ	[списък на файловете]