Accepted frama-c 20081201.dfsg-2 (source i386)

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

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

Format: 1.8
Date: Wed, 03 Jun 2009 08:19:25 +0200
Source: frama-c
Binary: frama-c
Architecture: source i386
Version: 20081201.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Changes: 
 frama-c (20081201.dfsg-2) unstable; urgency=low
 .
   * Do not install Journal_loader.cmxs on non-native archs, fixes FTBFS on
     non-native archs.
Checksums-Sha1: 
 3ff0ac10fec3e7b414b78e855fec9f49c005ac25 1540 frama-c_20081201.dfsg-2.dsc
 9559554a33bc453e9916bfc1c986f914298ed206 32308 frama-c_20081201.dfsg-2.diff.gz
 cbef4a59464d5da4c745fb88d4d7345e42be0845 6115954 frama-c_20081201.dfsg-2_i386.deb
Checksums-Sha256: 
 b1104930f9962e7b97d63b9f673912260dfb460c78a84d4e8c305bdfb4d9c9d6 1540 frama-c_20081201.dfsg-2.dsc
 92681d2e591e43b84e5ecbd219832d3ad82d818ebb1f4c80b20a8b26d414cb7c 32308 frama-c_20081201.dfsg-2.diff.gz
 c9ee915bd29c4c1b8c8e348e46864088613634fe29102e7fd76d21f4b2db910d 6115954 frama-c_20081201.dfsg-2_i386.deb
Files: 
 887a2d3c379d1b784c60b339b37eeb50 1540 math extra frama-c_20081201.dfsg-2.dsc
 f54011bd0edb16e021c3693c85d827b2 32308 math extra frama-c_20081201.dfsg-2.diff.gz
 fb803bec91534c86473b74cd43158692 6115954 math extra frama-c_20081201.dfsg-2_i386.deb

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

iEYEARECAAYFAkomXwUACgkQhryr/xwAx5B7QQCffFAJsZZl5EFRTAfgQ0YA6KyE
L1EAn2DTZWfiHFSYY6ybtjKUPtPEdu8C
=eMba
-----END PGP SIGNATURE-----


Accepted:
frama-c_20081201.dfsg-2.diff.gz
  to pool/main/f/frama-c/frama-c_20081201.dfsg-2.diff.gz
frama-c_20081201.dfsg-2.dsc
  to pool/main/f/frama-c/frama-c_20081201.dfsg-2.dsc
frama-c_20081201.dfsg-2_i386.deb
  to pool/main/f/frama-c/frama-c_20081201.dfsg-2_i386.deb