[ forky ]
[ sid ]
ソースパッケージ: btor2tools (1.0.2~git20250918.d33c73f-1)
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- btor2tools
- generic parser and tools for the BTOR2 format
- libbtor2parser-dev
- development lib for generic parser and tools for the BTOR2 format
- libbtor2parser0
- library for generic parser and tools for the BTOR2 format
その他の btor2tools 関連パッケージ
|
|
Download btor2tools
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| btor2tools_1.0.2~git20250918.d33c73f-1.dsc | 2.2 kB | 6a9f13e7b381de3d78d56f1e9bf6bc64 |
| btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz | 61.2 kB | c6795447a6295f0a67f9c52c6e2179b1 |
| btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz | 3.5 kB | 37fbb8128397e6d9a51497d7a02cdaeb |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/science-team/btor2tools.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/science-team/btor2tools
