Accepted alt-ergo 0.9-1 (source amd64)

[Mehdi Dogguy <dogguy@pps.jussieu.fr>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 06 Jul 2009 23:16:02 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.9-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes: 
 alt-ergo (0.9-1) unstable; urgency=low
 .
   * New Upstream Version
   * Update build dependencies to ease OCaml 3.11.1 transition
   * Bump standards version to 3.8.2
Checksums-Sha1: 
 fa8f1afff44e7af8a72ecb0b764bcf09439f51d7 1318 alt-ergo_0.9-1.dsc
 48d11f67146fd8f80302ea95fc8929af10d809a7 113157 alt-ergo_0.9.orig.tar.gz
 f5911ee5331744a02af1c2cf177352f12b32e28c 9898 alt-ergo_0.9-1.diff.gz
 6537686805490440039b807bd9cd9af4ed0a5f3f 555654 alt-ergo_0.9-1_amd64.deb
Checksums-Sha256: 
 765ac43a653a95f34fe4b75fe500a9ee190f44f3862655892bd83abe28b28479 1318 alt-ergo_0.9-1.dsc
 dfa63bccc83bdec1e3e9454c0d06e76e65fda65c5974ec8ba735fe9463624f69 113157 alt-ergo_0.9.orig.tar.gz
 dca20dd80a4548bec2dee0f10609f556be92b4cf863b4c990a29147940c6f056 9898 alt-ergo_0.9-1.diff.gz
 c11344986859093d227ca86b5444be7de2b794c14314b66ad29989bfb349cb97 555654 alt-ergo_0.9-1_amd64.deb
Files: 
 3d94eb2bb68d2cd4943a7cc67d7c91ed 1318 math optional alt-ergo_0.9-1.dsc
 f874172b4391fd7bc2a88f2346379424 113157 math optional alt-ergo_0.9.orig.tar.gz
 54034167fb347497fb54aa04d6c9fcdc 9898 math optional alt-ergo_0.9-1.diff.gz
 1ec866bc9163fe8c359b00888611a59e 555654 math optional alt-ergo_0.9-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkpTJycACgkQhryr/xwAx5AETQCdEfKD6cBF5uEn4cl9HZdvz7Ye
N9wAoI0ykRxf3El2YdUd/OGXMauw90MU
=Uf/R
-----END PGP SIGNATURE-----


Accepted:
alt-ergo_0.9-1.diff.gz
  to pool/main/a/alt-ergo/alt-ergo_0.9-1.diff.gz
alt-ergo_0.9-1.dsc
  to pool/main/a/alt-ergo/alt-ergo_0.9-1.dsc
alt-ergo_0.9-1_amd64.deb
  to pool/main/a/alt-ergo/alt-ergo_0.9-1_amd64.deb
alt-ergo_0.9.orig.tar.gz
  to pool/main/a/alt-ergo/alt-ergo_0.9.orig.tar.gz