Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.3co1
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
