Format: 1.8
Date: Sat, 08 Nov 2014 18:15:16 +0000
Source: picosat
Binary: picosat
Architecture: amd64
Version: 960-1
Distribution: vivid-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@phianna.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:
 9ac3bf5f844dca194f667528f63f682e7f27b8d9 122050 picosat_960-1_amd64.deb
Checksums-Sha256:
 9f6c5e313522a3fca97e5e2f76c99e6fa047a578939eacc83a74940c04e33753 122050 picosat_960-1_amd64.deb
Files:
 458999dada3e5920a7541c4fb1ce8539 122050 science extra picosat_960-1_amd64.deb