Пакет: libcoq-simple-io (1.8.0-2 и други)

[ Източник: coq-simple-io  ]

Coq plugin for purely functional 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.

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

• dep: libcoq-ext-lib-66g51 [i386]

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

• dep: libcoq-ext-lib-fi3y7 [s390x]

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

• dep: libcoq-ext-lib-ov5q1 [ppc64el]

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

• dep: libcoq-ext-lib-sgfs9 [armhf]

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

• dep: libcoq-ext-lib-spew7 [arm64]

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

• dep: libcoq-ext-lib-usvi5 [amd64]

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

• dep: libcoq-stdlib-bj4w1 [i386]

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

• dep: libcoq-stdlib-ctiy2 [arm64]

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

• dep: libcoq-stdlib-ewsr6 [amd64]

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

• dep: libcoq-stdlib-ig513 [ppc64el]

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

• dep: libcoq-stdlib-ntv04 [s390x]

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

• dep: libcoq-stdlib-u2uh4 [armhf]

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

Изтегляне на libcoq-simple-io

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

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.8.0-2+b1	87,6 кБ	704,0 кБ	[списък на файловете]
arm64	1.8.0-2+b1	90,0 кБ	854,0 кБ	[списък на файловете]
armhf	1.8.0-2+b1	86,4 кБ	651,0 кБ	[списък на файловете]
i386	1.8.0-2+b1	85,9 кБ	659,0 кБ	[списък на файловете]
ppc64el	1.8.0-2+b1	88,1 кБ	726,0 кБ	[списък на файловете]
s390x	1.8.0-2+b1	87,6 кБ	702,0 кБ	[списък на файловете]