Пакет: ott-tools (0.34+ds-1 и другие)

Ссылки для ott-tools

Ресурсы Debian:

Исходный код ott:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

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

Ott tool (executable)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

Coq is a proof assistant for higher-order logic.

This package provides the executable.

Другие пакеты, относящиеся к ott-tools

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.38) [не loong64]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

dep: libc6 (>= 2.39) [loong64]

Загрузка ott-tools

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.34+ds-1+b4	1 459,0 Кб	6 238,0 Кб	[список файлов]
arm64	0.34+ds-1+b4	1 606,4 Кб	7 225,0 Кб	[список файлов]
loong64 (неофициальный перенос)	0.33+ds-4	1 385,8 Кб	6 444,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	0.33+ds-4	1 320,3 Кб	6 669,0 Кб	[список файлов]
ppc64el	0.34+ds-1+b4	1 482,2 Кб	6 777,0 Кб	[список файлов]
riscv64	0.34+ds-1+b4	1 500,7 Кб	6 710,0 Кб	[список файлов]
s390x	0.34+ds-1+b4	1 476,8 Кб	7 146,0 Кб	[список файлов]