Accepted sat4j 2.3.0-3 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 24 Oct 2011 10:39:02 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.0-3
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
Closes: 641378
Changes:
sat4j (2.3.0-3) unstable; urgency=low
.
* Reworked debian/rules using dh+jh (closes: #641378)
* Cleanup patch names to make dpkg happy
* Build level 1.5 bytecode as requested on eclipse/linuxtools-dev
Checksums-Sha1:
37a5d6d3316d55d281d668ed28183d569c1ff42f 1184 sat4j_2.3.0-3.dsc
4ae484dad21f02eae0da5708a390f2a21da03d40 21786 sat4j_2.3.0-3.debian.tar.gz
cf33df553b4dbfca05b3a9e93133d40693379aa3 904356 sat4j_2.3.0-3_all.deb
Checksums-Sha256:
25258846207e029e03d91ce551c3a99e404a2ebafc70171841db939f07e6b5e7 1184 sat4j_2.3.0-3.dsc
9dfa83e3987e7e941f8f7988cb54e51477766f556d859c0e78a1cad36d68f961 21786 sat4j_2.3.0-3.debian.tar.gz
0491e422aabf28179fd779174307336d2c461d7c360104ba42ee2a25ec1acc8e 904356 sat4j_2.3.0-3_all.deb
Files:
ca85e71540586808f4cc3a05155ce218 1184 science optional sat4j_2.3.0-3.dsc
6cd96788692ce54f850bcec11e800bbe 21786 science optional sat4j_2.3.0-3.debian.tar.gz
06903b27ca3956a0edffc6c5dc46ebdc 904356 science optional sat4j_2.3.0-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk6lRKQACgkQvx6dH3bVKsREJQCePM/yQHhuL9RTBy2ytdPUktU7
2TMAnRXYGNkTcA9myBT3lhTyXZsOEVzA
=eJIp
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.3.0-3.debian.tar.gz
to main/s/sat4j/sat4j_2.3.0-3.debian.tar.gz
sat4j_2.3.0-3.dsc
to main/s/sat4j/sat4j_2.3.0-3.dsc
sat4j_2.3.0-3_all.deb
to main/s/sat4j/sat4j_2.3.0-3_all.deb