[ forky ] [ sid ]

ソースパッケージ: btor2tools (1.0.2~git20250918.d33c73f-1)

btor2tools に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [github.com]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

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 関連パッケージ

構築依存	構築依存 (アーキテクチャ非依存)

adep: debhelper-compat (= 13)

パッケージは利用できません
adep: cmake

cross-platform, open-source make system
adep: d-shlibs

Debian shared library package building helper scripts

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