Package: boolector
Binary: boolector
Version: 1.5.118.6b56be4.121013-1.3
Maintainer: Michael Tautschnig <mt@debian.org>
Build-Depends: debhelper (>= 5)
Architecture: any
Standards-Version: 3.9.3
Format: 3.0 (quilt)
Files: e0f67050bc7fab1ce9ad6f0faedb2ccb 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
 d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
 b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
 dfdbbab5e2d65e732397b76b58534f81 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Checksums-Sha256: 2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
 e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
 bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Homepage: http://fmv.jku.at/boolector/
Dgit: 5f2f788c31d9a84124df14237ea45687a8488114 debian archive/debian/1.5.118.6b56be4.121013-1.3 https://git.dgit.debian.org/boolector
Package-List: boolector deb science extra arch=any
Directory: pool/main/b/boolector
Priority: source
Section: science

Package: boolector
Version: 1.5.118.6b56be4.121013-1.3
Installed-Size: 721
Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: armel
Depends: libc6 (>= 2.34)
Description: SMT solver for bit-vectors and arrays
Homepage: http://fmv.jku.at/boolector/
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Tag: implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_armel.deb
Size: 255424
MD5sum: a8390897d812b5e33e171471a9f52cb3
SHA256: 4e5114e97d241766ed03773a26d3715ac664abcd8aa05c6fd84d8fc962a0959d

Package: boolector
Version: 1.5.118.6b56be4.121013-1.3
Installed-Size: 786
Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: amd64
Depends: libc6 (>= 2.34)
Description: SMT solver for bit-vectors and arrays
Homepage: http://fmv.jku.at/boolector/
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Tag: implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
Size: 309044
MD5sum: 88676c267bf495b66d7254ec95149412
SHA256: dc4ddcd9688bd8fd6529ded9411b23491682eb90f662d2e6a359709e5c39d34e

Package: boolector
Version: 1.5.118.6b56be4.121013-1.3
Installed-Size: 889
Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Depends: libc6 (>= 2.34)
Description: SMT solver for bit-vectors and arrays
Homepage: http://fmv.jku.at/boolector/
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Tag: implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_i386.deb
Size: 319592
MD5sum: 32c68de96da7d21eea42789b3c97120a
SHA256: 8fa9d561f64533c6d39ee4d77952472757afa1d199d9fd2b660a16f79761896f

Package: boolector
Version: 1.5.118.6b56be4.121013-1.3
Installed-Size: 894
Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: mipsel
Depends: libc6 (>= 2.34)
Description: SMT solver for bit-vectors and arrays
Homepage: http://fmv.jku.at/boolector/
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Tag: implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_mipsel.deb
Size: 290964
MD5sum: ea2adb765370c99586da0677247aca39
SHA256: 0db667a3d35fc139b64c0e88c3722dc69a345b0a1ec45b0e40c623266283a3b1