Package: libbtor2parser-dev
Source: btor2tools
Priority: optional
Section: universe/libdevel
Installed-Size: 70
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0.2~git20250918.d33c73f-1
Depends: libbtor2parser0 (= 1.0.2~git20250918.d33c73f-1)
Filename: pool/universe/b/btor2tools/libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64.deb
Size: 18764
SHA512: edae5d76eb8c97f6588c122cdc429bed5b6c5f357f6e1920f3ecfb9f9f09f15ad428772418a132bf834d6a392624f7462d4f7ed571279aa6531ed52aa335d7b8
Homepage: https://github.com/boolector/btor2tools
Description: development lib for generic parser and tools for the BTOR2 format
Description-md5: 58e42aed33b781a2ee9ab5108d888880
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug