套件：ott-tools（0.33+ds-3 以及其他的）

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 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.34) [riscv64]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.35) [除 riscv64]

下載 ott-tools

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	0.33+ds-3	1，300。9 kB	5，696。0 kB	[檔案列表]
arm64	0.33+ds-3	1，461。5 kB	6，540。0 kB	[檔案列表]
armhf	0.33+ds-3	1，257。0 kB	4，287。0 kB	[檔案列表]
i386	0.33+ds-3	1，220。9 kB	4，944。0 kB	[檔案列表]
ppc64 （非官方移植版）	0.33+ds-1+b1	1，291。3 kB	6，506。0 kB	[檔案列表]
ppc64el	0.33+ds-3	1，339。2 kB	6，157。0 kB	[檔案列表]
riscv64	0.33+ds-3	1，317。0 kB	5，996。0 kB	[檔案列表]
s390x	0.33+ds-3	1，317。4 kB	6，256。0 kB	[檔案列表]