Format: 1.8
Date: Sat, 08 Nov 2014 18:15:16 +0000
Source: picosat
Binary: picosat
Architecture: armhf
Version: 960-1
Distribution: yakkety
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@kishi16.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 picosat    - SAT solver with proof and core support
Changes:
 picosat (960-1) unstable; urgency=low
 .
   * New upstream version
Checksums-Sha1:
 422a1bc025d91ff59b3c7a426675376a8b4ec610 105172 picosat_960-1_armhf.deb
Checksums-Sha256:
 5069bcaf60f1c25967b40f2860ef60df4ebe35d8b73f909677ab984f7c35c1a4 105172 picosat_960-1_armhf.deb
Files:
 ec2039b22ed0ae3e0915d9eb506fa517 105172 science extra picosat_960-1_armhf.deb