Пакет: coq-serapi (8.19.0+0.19.3-2 и други)

Връзки за coq-serapi

Ресурси за Debian:

Изтегляне на пакет-източник coq-serapi.

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

interaction with Coq (utils)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

Coq is a proof assistant for higher-order logic.

This package provides utilities to work with the serapi plugin.

Други пакети, свързани с coq-serapi

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.34) [riscv64]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.35) [i386]

dep: libc6 (>= 2.38) [не i386, riscv64]
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

Изтегляне на coq-serapi

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	8.19.0+0.19.3-2+b1	30 124,1 кБ	133 189,0 кБ	[списък на файловете]
arm64	8.19.0+0.19.3-2	35 769,5 кБ	160 856,0 кБ	[списък на файловете]
armhf	8.19.0+0.19.3-2	28 801,3 кБ	95 038,0 кБ	[списък на файловете]
i386	8.19.0+0.19.3-2	27 056,0 кБ	110 999,0 кБ	[списък на файловете]
ppc64el	8.19.0+0.19.3-2	30 114,6 кБ	145 685,0 кБ	[списък на файловете]
riscv64	8.19.0+0.19.3-2	30 417,9 кБ	143 747,0 кБ	[списък на файловете]