Format: 1.8
Date: Sun, 04 Mar 2012 01:38:25 +0000
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.1-1
Distribution: precise
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@vernadsky.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 sat4j      - Efficient library of SAT solvers in Java
Closes: 635357
Changes: 
 sat4j (2.3.1-1) unstable; urgency=low
 .
   * New upstream release
   * Bumped standards version to 3.9.3 (no changes)
   * Added link to existing (but CC-BY-NC-ND) documentation
     (closes: #635357)
   * No longer requires maxsat-as-patch
Checksums-Sha1: 
 e10209cfd06c52116927c51429f89ec50dea2ab1 997454 sat4j_2.3.1-1_all.deb
Checksums-Sha256: 
 b203dacdd7d37c1d166548864c50123322d1c35469c628bc1dbf8672a2fef905 997454 sat4j_2.3.1-1_all.deb
Files: 
 71f43bac35ed29d5db20691257d1bf2c 997454 science optional sat4j_2.3.1-1_all.deb