Accepted frama-c 20090901+beryllium+dfsg-1 (source amd64)

[Mehdi Dogguy <mehdi@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 09 Sep 2009 17:30:41 +0200
Source: frama-c
Binary: frama-c
Architecture: source amd64
Version: 20090901+beryllium+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Closes: 544404 544833
Changes: 
 frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low
 .
   * Change the version number to reflect the codename in the version string
   * New Upstream Version
     + Fixes the issues related the static Jessie plugin. Thus, removing:
       0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch
       (Closes: #544404).
     + Provides toc_head.htm and toc_tail.htm
     + Fixes linking problem for the viewer. Thus, removing:
       0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch
     + Removing 0006-Do-not-install-non-existant-files.patch (now integrated
       upstream)
   * Add some patches:
     + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS
       on non-native architectures (Closes: #544833).
       0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
     + Make the Jessie plugin compile with Jc 2.19:
       0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch
     + Fix linking problem for the viewer (add dGraphView.cmo):
       0003-Add-dGraphView.cmo-when-linking.patch
   * Bump libocamlgraph-ocaml-dev version from 1.1 to 1.2+debian in build
     dependencies.
   * Don't strip bytecode binaries since they are compiled with -custom
   * Recommends alt-ergo and libwhy-coq
   * Remove useless runtime dependency libocamlgraph-ocaml-dev
   * Install data needed by frama-c in /usr/share/frama-c
   * Make some additional links to follow default upstream installation:
     + /usr/share/frama-c/why      -> /usr/share/why/
     + /usr/share/frama-c/caduceus -> /usr/share/caduceus
Checksums-Sha1: 
 4f6584cc1c8033cecc484293d0eb6eb777807a2e 2222 frama-c_20090901+beryllium+dfsg-1.dsc
 300690fc265c0f0c5482f82807ed55f16f1adade 1705295 frama-c_20090901+beryllium+dfsg.orig.tar.gz
 b5792160e0a6bf330c9fb840c493cc123683dcae 20701 frama-c_20090901+beryllium+dfsg-1.diff.gz
 076d9c6289f796708f9378d7eb61688f62d3cd83 17216460 frama-c_20090901+beryllium+dfsg-1_amd64.deb
Checksums-Sha256: 
 b678830bcf78a50757bc1ffdfad8d1c2881a32f48096e11314b19bfab76518ee 2222 frama-c_20090901+beryllium+dfsg-1.dsc
 47e5bb8086e6b462ae96b00d5158d33c26a79e6f3d9766bb90e27990a42c2f6d 1705295 frama-c_20090901+beryllium+dfsg.orig.tar.gz
 2cc9c920118520938fa16285ae6184749cfb7f7ddd2bae28134f0cd692ce9b7c 20701 frama-c_20090901+beryllium+dfsg-1.diff.gz
 a7f7394a6c4ff0cc7aa6c2a454994c3ca81c8ad7a5c44ad32ba4763c1716d872 17216460 frama-c_20090901+beryllium+dfsg-1_amd64.deb
Files: 
 f8757d4ba63059b3c22a57e177a4bca8 2222 math extra frama-c_20090901+beryllium+dfsg-1.dsc
 e9d3b70e9ab9fa5b5b9952f207a47f5f 1705295 math extra frama-c_20090901+beryllium+dfsg.orig.tar.gz
 b8f0b54f2a2203384cd8489afdfcf490 20701 math extra frama-c_20090901+beryllium+dfsg-1.diff.gz
 92d3035ad1a0a773a03ed8225e965f49 17216460 math extra frama-c_20090901+beryllium+dfsg-1_amd64.deb

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

iQIcBAEBCAAGBQJKqU7oAAoJEDO+GgqMLtj/Un4P/1NI4GLwsyNtNCV3CKdm6BLY
fxLmC3w4ukDPItvGvDgVhXC2QOldtMLw2vT+jZLAYBpO0GSNoWs4GaKgDxxt/pBR
V6H0PTosF9sKzhluEeFoNzEPHXs/0BY08DLMiK3E9JuPHJ7EepU3iZUhIXvm2m+d
uOxh7xCnFlXHJe0qpd5PadjVo6+42DqSZGCz5qHPtwDTJIwDYOqyrUcmkTr9IiSE
60U5JsSMYkZ4x0O5xL4Jvq1WeGjQ+J4dAItb+draKD7pItlJn1BSaa2JgbtEy5YT
9aDUW8sDU7lZfKm/SzfefDm2owfh22jYTi/JOgs2aLniBDjZx2S3EiFcGJ5lGagJ
cK2rgYC39CUtkGvaptgJYy2N/GAzm+RaXSRhfgxKaiojp6aS89Z/xpCl6fbLk30U
gKdrgkzPvt+CqhjOjfpZlbuvb4yeNld1NH4qij4MEYI/OwtnUhanPfEQt7nTfK81
yltlbAJaCNHEM9LH/jgHt4MoJWpTs1DYvePTc7WNMenbyzJ/q14qUN2GhLvqNBFk
Y6hxuSfr1SHNv4A1fxlo+sfuhMWzBF/ZRyEqCUT/2EJBgyU5+e6Iiv6kQZd0X3jK
NhrTyZJegFBsPG1HClzbWGpcJ5HMaAjTLN7nKGB2DpW63PosV8lq0+c8iz4vFcuW
zDX2EDI6brG5Ftw8tfNj
=kgy0
-----END PGP SIGNATURE-----


Accepted:
frama-c_20090901+beryllium+dfsg-1.diff.gz
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1.diff.gz
frama-c_20090901+beryllium+dfsg-1.dsc
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1.dsc
frama-c_20090901+beryllium+dfsg-1_amd64.deb
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg-1_amd64.deb
frama-c_20090901+beryllium+dfsg.orig.tar.gz
  to pool/main/f/frama-c/frama-c_20090901+beryllium+dfsg.orig.tar.gz