Accepted sat4j 2.3.1-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 04 Mar 2012 01:38:25 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.1-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: 635357
Changes:
sat4j (2.3.1-1) unstable; urgency=low
.
* New upstream release
* Bumped standards version to 3.9.3 (no changes)
* Added link to existing (but CC-BY-NC-ND) documentation
(closes: #635357)
* No longer requires maxsat-as-patch
Checksums-Sha1:
e9c3d2c0bb397db1e9f32b34033c71584dc1ffbd 1184 sat4j_2.3.1-1.dsc
5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
6f43dbbaa540574763744ad4833fcf55ef4ff47b 11606 sat4j_2.3.1-1.debian.tar.gz
4460a18772fd54ceb01be3df13a9d6678454cee2 997618 sat4j_2.3.1-1_all.deb
Checksums-Sha256:
882047dd624e827a3a4fbb4c144530440fe6b4a8a6101e821a294da0bc52cc9c 1184 sat4j_2.3.1-1.dsc
0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474 sat4j_2.3.1.orig.tar.gz
67c1fc1b41ab2c0d524c64e101d72acd7e13092c7a060c8c7ce38a270e450a26 11606 sat4j_2.3.1-1.debian.tar.gz
138d58f257e62d05046d59388e4dc438f05b5509571003dc5acca323ab1ccab8 997618 sat4j_2.3.1-1_all.deb
Files:
9043f37a911fe5df2fe142fd8fd8c7c3 1184 science optional sat4j_2.3.1-1.dsc
79c952e6fb2b8f8236d5f7ea96360a17 13920474 science optional sat4j_2.3.1.orig.tar.gz
ff0666d3cfbea2a25d515b19c650648b 11606 science optional sat4j_2.3.1-1.debian.tar.gz
402ac5ce0271b698ce925cf5b6bec280 997618 science optional sat4j_2.3.1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9S+skACgkQvx6dH3bVKsQKhgCfRW0ezNTlHpQvFuMgW93nT3Ec
crgAn2YdqqfPnOvkDpS658VMkul6hTU7
=qwhe
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.3.1-1.debian.tar.gz
to main/s/sat4j/sat4j_2.3.1-1.debian.tar.gz
sat4j_2.3.1-1.dsc
to main/s/sat4j/sat4j_2.3.1-1.dsc
sat4j_2.3.1-1_all.deb
to main/s/sat4j/sat4j_2.3.1-1_all.deb
sat4j_2.3.1.orig.tar.gz
to main/s/sat4j/sat4j_2.3.1.orig.tar.gz