[ bookworm ] [ trixie ] [ sid ]

[ 原始碼： psmt2-frontend ]

套件：psmt2-frontend（0.4.0-3 以及其他的）

psmt2-frontend 的相關連結

Debian 的資源：

下載原始碼套件 psmt2-frontend：

維護小組：

外部的資源：

主頁 [github.com]

相似套件：

Parse and type-check SMT-LIB 2 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

This package provides the command-line tool.

其他與 psmt2-frontend 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.34) [riscv64]

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

dep: libc6 (>= 2.35) [除 alpha, ia64, riscv64, sh4]

dep: libc6 (>= 2.37) [sh4]
dep: libc6.1 (>= 2.35) [alpha]

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

dep: libc6.1 (>= 2.37) [ia64]
dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [除 riscv64]

Parse and type-check SMT-LIB 2 (runtime files)

dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b2) [riscv64]

下載 psmt2-frontend

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	0.4.0-3+b1	174。8 kB	972。0 kB	[檔案列表]
amd64	0.4.0-3+b1	423。0 kB	1，768。0 kB	[檔案列表]
arm64	0.4.0-3+b1	472。9 kB	2，108。0 kB	[檔案列表]
armel	0.4.0-3+b1	159。8 kB	838。0 kB	[檔案列表]
armhf	0.4.0-3+b1	396。2 kB	1，274。0 kB	[檔案列表]
hppa （非官方移植版）	0.4.0-3+b1	166。7 kB	867。0 kB	[檔案列表]
i386	0.4.0-3+b1	408。0 kB	1，582。0 kB	[檔案列表]
ia64 （非官方移植版）	0.4.0-3+b1	204。1 kB	1，148。0 kB	[檔案列表]
m68k （非官方移植版）	0.4.0-3+b1	147。8 kB	814。0 kB	[檔案列表]
mips64el	0.4.0-3+b1	166。3 kB	1，005。0 kB	[檔案列表]
ppc64 （非官方移植版）	0.4.0-3+b1	438。2 kB	2，236。0 kB	[檔案列表]
ppc64el	0.4.0-3+b1	442。0 kB	1，980。0 kB	[檔案列表]
riscv64	0.4.0-3+b2	431。5 kB	1，828。0 kB	[檔案列表]
s390x	0.4.0-3+b1	424。4 kB	1，944。0 kB	[檔案列表]
sh4 （非官方移植版）	0.4.0-3+b1	167。5 kB	838。0 kB	[檔案列表]
sparc64 （非官方移植版）	0.4.0-3+b1	160。4 kB	1，615。0 kB	[檔案列表]
x32 （非官方移植版）	0.4.0-3+b1	170。7 kB	850。0 kB	[檔案列表]