packages [ stonking ]
原始碼套件： btor2tools (1.0.2~git20250918.d33c73f-1) [universe]
btor2tools 的相關超連結
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.
本原始碼套件構建了以下這些二進制套件：
- 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