Pakiet: libcoq-simple-io (1.8.0-4)

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-3kku9 [amd64]

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

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-d3892 [s390x]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-e9i60 [i386]

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-ext-lib-o4nb2 [armhf]

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

pakiet wirtualny udostępniany przez libcoq-ext-lib
dep: libcoq-stdlib-4ny94 [armhf]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-6gs52 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-77cs8 [arm64]

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

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-onxh8 [i386]

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

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	88,1 KiB	717,0 KiB	[lista plików]
arm64	90,3 KiB	869,0 KiB	[lista plików]
armhf	87,0 KiB	666,0 KiB	[lista plików]
i386	86,4 KiB	672,0 KiB	[lista plików]
ppc64el	88,6 KiB	741,0 KiB	[lista plików]
s390x	87,9 KiB	717,0 KiB	[lista plików]