Format: 1.8
Date: Wed, 10 Aug 2011 01:03:57 +0200
Source: picosat
Binary: picosat
Architecture: armel
Version: 936-3
Distribution: precise
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@hubbard.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 picosat    - SAT solver with proof and core support
Closes: 635114
Changes: 
 picosat (936-3) unstable; urgency=low
 .
   * Ship picomus binary for computing minimal unsatisfiying cores
     (closes: #635114)
   * Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1: 
 0660b5dd2219f6957bdbc9b24bddff5a9d7eb28c 216826 picosat_936-3_armel.deb
Checksums-Sha256: 
 8540f066b6cb2d37284863cfaba069ba5719c84a9ac645840d0c59b731bf78bf 216826 picosat_936-3_armel.deb
Files: 
 5c0ac5e90bbbae65712cc1137ba37055 216826 science extra picosat_936-3_armel.deb