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

依賴

推薦

建議

增強

dep: libc6 (>= 2.38) [除 loong64]

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

dep: libc6 (>= 2.39) [loong64]

下載 ott-tools

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	0.34+ds-1+b6	1，475。6 kB	6，286。0 kB	[檔案列表]
arm64	0.34+ds-1+b6	1，627。0 kB	7，293。0 kB	[檔案列表]
loong64 （非官方移植版）	0.33+ds-4	1，385。8 kB	6，444。0 kB	[檔案列表]
ppc64 （非官方移植版）	0.33+ds-4	1，320。3 kB	6，669。0 kB	[檔案列表]
ppc64el	0.34+ds-1+b5	1，510。2 kB	6，781。0 kB	[檔案列表]
riscv64	0.34+ds-1+b5	1，539。0 kB	6，762。0 kB	[檔案列表]
s390x	0.34+ds-1+b5	1，509。9 kB	7，202。0 kB	[檔案列表]