Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.3+rb2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 10), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional, libmockito-java, maven-repo-helper
Package-List:
 sat4j deb science optional arch=all
Checksums-Sha1:
 2c552d3f1022b2f62045a1bbedb0339bc1717ac6 14124204 sat4j_2.3.5.orig.tar.gz
 7a724c8e4650a1d283a69812c89cc5a5394c684c 17564 sat4j_2.3.5-0.3+rb2.debian.tar.xz
Checksums-Sha256:
 1fdbba84f662dce8aa1702fa94df7d9fb920f410b718ca8573fccf017a1d3d15 14124204 sat4j_2.3.5.orig.tar.gz
 3623250f88bda30e4436fb7ae5bea96b6b6a2815f72d0cf4eed161d0448f4684 17564 sat4j_2.3.5-0.3+rb2.debian.tar.xz
Files:
 7b535604d6d2da4793f34e914f1c4201 14124204 sat4j_2.3.5.orig.tar.gz
 0d961182e3a345aad23bef1b6e7f1e9f 17564 sat4j_2.3.5-0.3+rb2.debian.tar.xz