всички настройки
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Източник: coq-simple-io  ]

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

Връзки за libcoq-simple-io

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник 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

  • зависимости
  • препоръчани
  • предложени
  • enhances

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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 1.11.0-1+b1 267,1 кБ917,0 кБ [списък на файловете]
arm64 1.11.0-1+b1 268,8 кБ1 062,0 кБ [списък на файловете]
ppc64el 1.11.0-1+b1 268,9 кБ1 071,0 кБ [списък на файловете]
riscv64 1.11.0-1+b1 277,2 кБ1 064,0 кБ [списък на файловете]
s390x 1.11.0-1+b1 265,9 кБ925,0 кБ [списък на файловете]