Format: 1.8
Date: Sun,  8 Jun 2008 13:08:48 +0200
Source: picosat
Binary: picosat
Architecture: i386
Version: 632-1
Distribution: intrepid
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@vernadsky.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 picosat    - SAT solver with proof and core support
Closes: 485117
Changes: 
 picosat (632-1) unstable; urgency=low
 .
   * Initial release (Closes: #485117)
Checksums-Sha1: 
 d05e0a66a11ef62beaa3c2fead28d53c561a17a7 25018 picosat_632-1_i386.deb
Checksums-Sha256: 
 d9e7b6b706d84b65d9a3d04127e3f181c238117cfc045357cba5befe5315eaa6 25018 picosat_632-1_i386.deb
Files: 
 6574bf8db7b7bfb328bbecc98d496e49 25018 science extra picosat_632-1_i386.deb