Package: btor2tools
Priority: optional
Section: universe/science
Installed-Size: 180
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), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/b/btor2tools/btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb
Size: 63844
SHA512: 3b1b56db0ff526c7a827b1d155556a5892a2166b5ba3552b25e3dcff5e373cd08ed062934bc2be0a3becde813a967edde06f8346116fa4fd5e8b7da8ca85690f
Homepage: https://github.com/boolector/btor2tools
Description: generic parser and tools for the BTOR2 format
Description-md5: d40a9abd023d651f1d8e5a6ee5567d27
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug