Back to sat4j PTS page

Accepted sat4j 2.0.5-1 (source all)

To: debian-devel-changes@lists.debian.org
Subject: Accepted sat4j 2.0.5-1 (source all)
From: Michael Tautschnig <mt@debian.org>
Date: Sat, 31 Jan 2009 15:32:08 +0000
Message-id: <E1LTHpI-0000gu-47@ries.debian.org>
Sender: Archive Administrator <dak@ries.debian.org>

-----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