-----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-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org