Package: libbtor2parser0
Source: btor2tools
Priority: optional
Section: universe/libs
Installed-Size: 54
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0.2~git20250918.d33c73f-1
Depends: libc6 (>= 2.14)
Filename: pool/universe/b/btor2tools/libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64.deb
Size: 17220
SHA512: 934ece86fb0b90d811ad68af1faf97e096824ff10f5fbed2859d02f915ed5a2dd488003d6f07a2520d5ed640c4e9ee71cd2a8311d4687da4eef24410e7cdf9cc
Homepage: https://github.com/boolector/btor2tools
Description: library for generic parser and tools for the BTOR2 format
Description-md5: 12b4df00b1e557928c4753068d031998
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug