Пакет: libcoq-iris (4.1.0-1 и други)

Връзки за libcoq-iris

Ресурси за Debian:

Изтегляне на пакет-източник coq-iris.

Отговорници:

Външни препратки:

Начална страница [gitlab.mpi-sws.org]

Подобни пакети:

high-order concurrent separation logic framework for Coq

This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.

Coq is a proof assistant for higher-order logic.

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

зависимости

препоръчани

предложени

enhances

dep: libcoq-stdpp-7g3n1 [armhf]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-boya4 [s390x]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-dlb31 [ppc64]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-ik2j1 [amd64]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-jnu44 [i386]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-plhs9 [ppc64el]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-zd359 [riscv64]

виртуален пакет, предлаган от libcoq-stdpp
dep: libcoq-stdpp-zt2r4 [arm64]

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

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	4.1.0-1+b1	11 635,1 кБ	42 444,0 кБ	[списък на файловете]
arm64	4.1.0-1+b1	11 635,5 кБ	42 444,0 кБ	[списък на файловете]
armhf	4.1.0-1+b1	11 633,4 кБ	42 389,0 кБ	[списък на файловете]
i386	4.1.0-1+b1	11 630,8 кБ	42 388,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	4.0.0-4+b1	11 389,1 кБ	41 381,0 кБ	[списък на файловете]
ppc64el	4.1.0-1+b1	11 634,6 кБ	42 444,0 кБ	[списък на файловете]
riscv64	4.1.0-1+b1	11 635,7 кБ	42 445,0 кБ	[списък на файловете]
s390x	4.1.0-1+b1	11 635,5 кБ	42 444,0 кБ	[списък на файловете]