パッケージ: psmt2-frontend (0.4.0-3 など)

[ ソース: psmt2-frontend  ]

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	[ファイル一覧]