dsc_fields:
Architecture: all
Binary: sat4j
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
Checksums-Sha1:
- name: sat4j_2.3.5.orig.tar.gz
sha1: d28ff15295ec39f66fdf45679dcec6c5fafa2101
size: '13748980'
- name: sat4j_2.3.5-0.3.debian.tar.xz
sha1: 4c5fa6a850e54a433a4607f883f9fc398789f791
size: '17140'
Checksums-Sha256:
- name: sat4j_2.3.5.orig.tar.gz
sha256: 66ec5c9e5b277b5fc93a9930f7f5305b4cbd39d0e3f1a8e6fd2b6b6ac6b9c5bc
size: '13748980'
- name: sat4j_2.3.5-0.3.debian.tar.xz
sha256: 83c0ddfba88b10adc900cc976c393a2f9dd2141a96facd98b34661a571a79986
size: '17140'
Files:
- md5sum: 526e70e3810aa515f2235da1d01fd71c
name: sat4j_2.3.5.orig.tar.gz
size: '13748980'
- md5sum: 8020f66d1a2eb30f070491f66f649603
name: sat4j_2.3.5-0.3.debian.tar.xz
size: '17140'
Format: 3.0 (quilt)
Homepage: http://www.sat4j.org
Maintainer: Michael Tautschnig <mt@debian.org>
Package-List: |2-
sat4j deb science optional arch=all
Source: sat4j
Standards-Version: 3.9.8
Version: 2.3.5-0.3
name: sat4j
type: dpkg
version: 2.3.5-0.3