Back to sat4j PTS page

Accepted sat4j 2.3.3-1 (source all)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Jun 2014 17:04:41 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.3-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 sat4j      - Efficient library of SAT solvers in Java
Changes:
 sat4j (2.3.3-1) unstable; urgency=low
 .
   * New upstream release
   * Bumped standards version to 3.9.5 (no changes)
Checksums-Sha1:
 d3ce582f5f9bb01857417dbaa5b0d9bd565d6e7c 1886 sat4j_2.3.3-1.dsc
 193adc3795b881c3b217658a168ec551f98b139c 15885743 sat4j_2.3.3.orig.tar.gz
 8af2833bcd06ffae07e0ac526a405bc1ddc166c5 10800 sat4j_2.3.3-1.debian.tar.xz
 73b51b5797dd8fbb05a19c50450658af5f22d383 393598 sat4j_2.3.3-1_all.deb
Checksums-Sha256:
 9859600021838676b72f4d4ab16732166cd8f7acad9f7c442b5b654ead07be04 1886 sat4j_2.3.3-1.dsc
 f7c1161416efdf14a1f09067f3c9672b9af5486584df86a0155bc7c947c776f8 15885743 sat4j_2.3.3.orig.tar.gz
 deb2a6ee2e8019738b60aac9b2290a76eef8f92bc2d95ea84441a07c8a886a44 10800 sat4j_2.3.3-1.debian.tar.xz
 c82e732c231e0cbbaf412776cf9cce9d2a0db9ddf5f018a5c207cb6c323b8bc3 393598 sat4j_2.3.3-1_all.deb
Files:
 6f3ae85da65f87c92818455dc037f21f 393598 science optional sat4j_2.3.3-1_all.deb
 b943b8fc251cd45efe5e88bbb17afebf 1886 science optional sat4j_2.3.3-1.dsc
 33fcc3ba18a5e06c66cdda357e192d84 15885743 science optional sat4j_2.3.3.orig.tar.gz
 251ac938693b41e7182f52e69c2f47f7 10800 science optional sat4j_2.3.3-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJTru4nAAoJEKjvEonjOGdBvmgP/iZs3EC008qoUnz4TzRFH6KT
PwEL+SCY2ZzmBa2IcX8o4Vd2NsANoYvU1F6gB5YLO1q8fMvDDfdDJmNJItw7Cmzl
aFHXS7E6My0NcedtIQwbXL9+iMg+Bg0NPSnfSKudzFZzXEfJmeMbcfl/5QVDB/ji
z9Tp5JQu+FWVKTEWI/9XM9FEMy23T+mL3CdoUHW8lBrE3JyLVlCWQDQNB87HcfN7
qXgaerfHPQbiPK4oukSAZXZcbsIIBLSv2sJwhMwvBRpGB7ydR16pwzH8yPjIVDLd
AAT0/0lBP4qKRaQK3iiJRbDivMbzTxFn8u/78G//LgmYbau1ymzD/NlaWk76MT6+
heBV4wK9ffreNDCpiTzI/SIkQnKdIKOz1UVVFFQ+T2k/dgsuxSCH+qQ0Csx3DKKN
4dq3tv5lev3PzH0NeYMKcYgDY2Fiteuz0nF6JGKhGYGLdmulpqRII4+FUQvYELZv
HNtfC5u54tfVK5cwWJ547t+0Nwbb79gaDGtvs72KIxUcZUHnJdrvCPi8uWUZHSJF
ujQDuhKz+eQMG7Z+9IViWswlUcFVcDAv7KgjiOHaNRog0mCBAh00gIc2biqEuPZ9
WIf1quTvtJz1nPHdm9hTLWi6jEXCyG6mWRTiakocNGrhDzpsTHCJqtnVEUOG6afd
BZHRWFjyYJgF0HjlSDsY
=cjoe
-----END PGP SIGNATURE-----