Pakiet: libcoq-iris (4.2.0-1 i inne)

Odnośniki dla libcoq-iris

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-iris:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [gitlab.mpi-sws.org]

Podobne pakiety:

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.

Inne pakiety związane z libcoq-iris

wymaga

poleca

sugeruje

enhances

dep: libcoq-stdpp-2on65 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-54ep5 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-dlb31 [ppc64]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-gicx8 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-jk6a9 [armhf]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-kqmd0 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-ya2a5 [i386]

pakiet wirtualny udostępniany przez libcoq-stdpp
dep: libcoq-stdpp-zd359 [riscv64]

Pakiet niedostępny

Pobieranie libcoq-iris

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	4.2.0-1	12 376,9 KiB	44 664,0 KiB	[lista plików]
arm64	4.2.0-1	12 378,3 KiB	44 664,0 KiB	[lista plików]
armhf	4.2.0-1	12 374,7 KiB	44 615,0 KiB	[lista plików]
i386	4.2.0-1	12 375,6 KiB	44 615,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	4.0.0-4+b1	11 389,1 KiB	41 381,0 KiB	[lista plików]
ppc64el	4.2.0-1	12 380,6 KiB	44 664,0 KiB	[lista plików]
riscv64	4.1.0-1+b1	11 635,7 KiB	42 445,0 KiB	[lista plików]
s390x	4.2.0-1	12 379,5 KiB	44 664,0 KiB	[lista plików]