Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.1-1.5.201403181403
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 7.0.50~), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional
Package-List: 
 sat4j deb science optional
Checksums-Sha1: 
 5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
 e3adba327537e5c2cf78ac99fee1b995090b2c66 11658 sat4j_2.3.1-1.5.201403181403.debian.tar.gz
Checksums-Sha256: 
 0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474 sat4j_2.3.1.orig.tar.gz
 697d47cf826d3067982bdee56ac9d2491e16bbdafecabd3bd27162876bd15ada 11658 sat4j_2.3.1-1.5.201403181403.debian.tar.gz
Files: 
 79c952e6fb2b8f8236d5f7ea96360a17 13920474 sat4j_2.3.1.orig.tar.gz
 07a269e99b9e1a3a29580db1b38f12eb 11658 sat4j_2.3.1-1.5.201403181403.debian.tar.gz