Format: 1.8
Date: Wed, 09 Jun 2010 00:16:01 +0200
Source: boolector
Binary: boolector
Architecture: ia64
Version: 1.4.ffc2089.100608-1
Distribution: maverick
Urgency: low
Maintainer: Ubuntu/ia64 Build Daemon <buildd@hooker.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 boolector  - SMT solver for bit-vectors and arrays
Closes: 584542
Changes: 
 boolector (1.4.ffc2089.100608-1) unstable; urgency=low
 .
   * Initial release (Closes: #584542)
Checksums-Sha1: 
 77a9a52050a799b3a9b03434e8a5a77bea4d6015 230014 boolector_1.4.ffc2089.100608-1_ia64.deb
Checksums-Sha256: 
 952ef34106a62c4a104c14a5581ca0fa527cf847cc8523c0be47f686d5ccc350 230014 boolector_1.4.ffc2089.100608-1_ia64.deb
Files: 
 4b869204659312a5069bb29818d74302 230014 science extra boolector_1.4.ffc2089.100608-1_ia64.deb