packages [ stonking ]
[ tenacious ]
ソースパッケージ: btor2tools (1.0.3-1) [universe]
このサイトについて
published in section universe
Ubuntu の資源:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (メールアーカイブ)
- Andreas Tille
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [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 関連パッケージ
|
|
Download btor2tools
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| btor2tools_1.0.3-1.dsc | 2.1 kB | 5226c3e2ad27480aa612a63bc31630e1 |
| btor2tools_1.0.3.orig.tar.gz | 86.1 kB | a541999bb0fd66809d7fd8e50c5c63e9 |
| btor2tools_1.0.3-1.debian.tar.xz | 3.4 kB | c1b8ffdbf247809c5e49806338a1be65 |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/science-team/btor2tools.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/science-team/btor2tools