[ ソース: psmt2-frontend ]
パッケージ: psmt2-frontend (0.4.0-4 など)
psmt2-frontend に関するリンク
Debian の資源:
psmt2-frontend ソースパッケージをダウンロード:
- [psmt2-frontend_0.4.0-4.dsc]
- [psmt2-frontend_0.4.0.orig.tar.gz]
- [psmt2-frontend_0.4.0-4.debian.tar.xz]
メンテナ:
外部の資源:
- ホームページ [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.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)
- Parse and type-check SMT-LIB 2 (runtime files)
-
- dep: libzstd1 (>= 1.5.5) [armhf, i386]
- 高速なロスレス圧縮アルゴリズム
psmt2-frontend のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| amd64 | 0.4.0-4+b3 | 512.2 kB | 2,137.0 kB | [ファイル一覧] |
| arm64 | 0.4.0-4+b3 | 564.6 kB | 2,569.0 kB | [ファイル一覧] |
| armhf | 0.4.0-4+b3 | 193.1 kB | 934.0 kB | [ファイル一覧] |
| i386 | 0.4.0-4+b3 | 227.5 kB | 1,042.0 kB | [ファイル一覧] |
| ppc64el | 0.4.0-4+b3 | 528.8 kB | 2,377.0 kB | [ファイル一覧] |
| riscv64 | 0.4.0-4+b3 | 532.2 kB | 2,253.0 kB | [ファイル一覧] |
| s390x | 0.4.0-4+b3 | 517.9 kB | 2,457.0 kB | [ファイル一覧] |