Pakiet: libcoq-simple-io (1.11.0-1 i inne)

Odnośniki dla libcoq-simple-io

This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's.

Coq is a proof assistant for higher-order logic.

dep: libcoq-ext-lib-2c869 [s390x]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-hjs39 [amd64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-lsco6 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-vkwj8 [arm64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-xazg3 [riscv64]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-stdlib-1ns11 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.11.0-1+b1	267,1 KiB	917,0 KiB	[lista plików]
arm64	1.11.0-1+b1	268,8 KiB	1 062,0 KiB	[lista plików]
ppc64el	1.11.0-1+b1	268,9 KiB	1 071,0 KiB	[lista plików]
riscv64	1.11.0-1+b1	277,2 KiB	1 064,0 KiB	[lista plików]
s390x	1.11.0-1+b1	265,9 KiB	925,0 KiB	[lista plików]