Format: 1.8
Date: Wed, 09 Jun 2010 00:16:01 +0200
Source: boolector
Binary: boolector
Architecture: sparc
Version: 1.4.ffc2089.100608-1
Distribution: maverick
Urgency: low
Maintainer: Ubuntu/sparc Build Daemon <buildd@artigas.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: 
 b728b887ba589995ac8fe83dbaed7c7b6955abd8 124220 boolector_1.4.ffc2089.100608-1_sparc.deb
Checksums-Sha256: 
 6fe3c09bb05c3fd0228e31ba3b48f45783e015cfcb90955672dd0f9d5828fa0a 124220 boolector_1.4.ffc2089.100608-1_sparc.deb
Files: 
 65c72cbf73b6086149c4b10f718b516b 124220 science extra boolector_1.4.ffc2089.100608-1_sparc.deb