Accepted sat4j 2.0.5-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 31 Jan 2009 12:30:40 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.5-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
Closes: 512007
Changes:
sat4j (2.0.5-1) unstable; urgency=low
.
* New upstream release
* Replace use of /usr/bin/ant by proper java use (closes: #512007)
* Fixed minor bug in shipped build.xml instead of using home-grown build.xml
Checksums-Sha1:
784cbf414ffd9e1234dc6acc69a1a5254aff6ff6 1132 sat4j_2.0.5-1.dsc
65d3a770f34c8718f6176611d9010d72d283ba99 13217481 sat4j_2.0.5.orig.tar.gz
82c485984fe27c81e77af05e8930909f55488c70 8961 sat4j_2.0.5-1.diff.gz
f8e8bf81730a56e571e814187d54a14e73413cb7 226176 sat4j_2.0.5-1_all.deb
Checksums-Sha256:
a95d421bec8e7c0414544bd5b363ade61c9494c98fc46aed054e97751407dfff 1132 sat4j_2.0.5-1.dsc
33037171e87d06f618966a593be0fda3c23c2d096e00ea83778f17cb15033d8e 13217481 sat4j_2.0.5.orig.tar.gz
1b72927cd2f4fa5d6da93eb8e7d2d20e046650e8d89c3266fc04d81e43527eb9 8961 sat4j_2.0.5-1.diff.gz
98e1b07acb376e689c21bab00a9cab3acbfd34d55335820075748ab043b3bef2 226176 sat4j_2.0.5-1_all.deb
Files:
34a44db6cffa1182a265e981e8dc068f 1132 science extra sat4j_2.0.5-1.dsc
276f43df26479a3a3eacf673b53bfeea 13217481 science extra sat4j_2.0.5.orig.tar.gz
620c9d30edefb4542c3613be2f3aaa5c 8961 science extra sat4j_2.0.5-1.diff.gz
c563700bee13422bad6e8944eea6f6fa 226176 science extra sat4j_2.0.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmEbR4ACgkQvx6dH3bVKsR/PgCfb6/oB/SYNk5dxdMpNnvCdO7x
fx4An0EVK/DrVz55WKg0ZUJvd70Ieckk
=5pAX
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.0.5-1.diff.gz
to pool/main/s/sat4j/sat4j_2.0.5-1.diff.gz
sat4j_2.0.5-1.dsc
to pool/main/s/sat4j/sat4j_2.0.5-1.dsc
sat4j_2.0.5-1_all.deb
to pool/main/s/sat4j/sat4j_2.0.5-1_all.deb
sat4j_2.0.5.orig.tar.gz
to pool/main/s/sat4j/sat4j_2.0.5.orig.tar.gz
Reply to: