-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 23 Apr 2011 18:47:13 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20110201+carbon+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 frama-c-base - Framework for C source code analysis (without gui) Closes: 610432 Changes: frama-c (20110201+carbon+dfsg-1) unstable; urgency=low . * New upstream release: - Update copyright file. - Remove all patches, integrated by upstream. - Add patches: + 0001-Value-Analysis-Carbon-patchlevel-1.patch + 0002-Fix-for-issue-727.patch * Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853). * No need to exclude custom bytecode binaries when running dh_strip. (thanks to patch applied in OCaml >= 3.12.0-5) Checksums-Sha1: 75feae757af2f329ab9a8a2444fb61267acaa427 1859 frama-c_20110201+carbon+dfsg-1.dsc e7d5c9f7d28d473824710e1b0e4f0b623ef6c814 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz 50ed418355f5eba1956fee678561956a0991afd5 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz c07f7c1f075af55a6647641761f5ed5b15ef64b6 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb 0d0d95b5ed287e2ed2c3b2d147e045b29a34703a 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb Checksums-Sha256: f5f7eb61dc8070c019cc8428a5f215b053b4df44e9faaaa8da440ff78b5be714 1859 frama-c_20110201+carbon+dfsg-1.dsc 502e82bf33a0050e0e282a448188c64bc458273a2a7655b2509272e33c24dbbf 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz 8e65cece1e6060e9523d8e6f17fd7998b667ca04b92de47c61583490f1d4f87d 39657 frama-c_20110201+carbon+dfsg-1.debian.tar.gz f9b4eee88a5cf5625a00ccdd157d3168f798215a1f40ad88506d4e1b926acdc1 3715638 frama-c_20110201+carbon+dfsg-1_amd64.deb c1690b34ea78c58190f6c2022556725d63b4e14ba176f43a336a2210e6cc42ae 21028760 frama-c-base_20110201+carbon+dfsg-1_amd64.deb Files: 6450cc0208560d994cfa3cc3e15a1086 1859 devel optional frama-c_20110201+carbon+dfsg-1.dsc 4fbb6723b6fa686d504b3f62e1d22ec7 2281355 devel optional frama-c_20110201+carbon+dfsg.orig.tar.gz f5bbf2d5b7310eba4dadeb310214a1fb 39657 devel optional frama-c_20110201+carbon+dfsg-1.debian.tar.gz 588760568c2d5e4d52d35379ed84f2db 3715638 devel optional frama-c_20110201+carbon+dfsg-1_amd64.deb e6112854273b87f33a8ef55d1a114c7c 21028760 devel optional frama-c-base_20110201+carbon+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJNtE1TAAoJEDe1GR0FRlJoZ3IH/ju0BcOWjhJUcnTX8FuJDZ5S 3RqZvXEYMybENhQMo59lA+KKHuwsNEGX3S8fgoKZcftUeZw9NAOgB3/tGSQ5GhAM S6SziipLU/t3uvy8sapIRG+elA/KXUcBdg9Pn+dxa0UJn7z8tR4MqR5UOmA2l49F rn9TFTKsJlLp+7q2+P87Ga/O1RPTOcRerIZ0pnM9ctc4PV/UXvbdFKSymBA5Sclv J3wdXeS18d8OAYIqLyMZLGxocJsKhubcuAOJSK7KXyIxqOkGus/aqoOnCWGlDZmQ d4DtdBFdjZj6sTl27WRhIIuM3K9BqPktFP1Otbzp1iA20LEhARYtDYNJb2KfG90= =B2+s -----END PGP SIGNATURE----- Accepted: frama-c-base_20110201+carbon+dfsg-1_amd64.deb to main/f/frama-c/frama-c-base_20110201+carbon+dfsg-1_amd64.deb frama-c_20110201+carbon+dfsg-1.debian.tar.gz to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.debian.tar.gz frama-c_20110201+carbon+dfsg-1.dsc to main/f/frama-c/frama-c_20110201+carbon+dfsg-1.dsc frama-c_20110201+carbon+dfsg-1_amd64.deb to main/f/frama-c/frama-c_20110201+carbon+dfsg-1_amd64.deb frama-c_20110201+carbon+dfsg.orig.tar.gz to main/f/frama-c/frama-c_20110201+carbon+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 Archive: http://lists.debian.org/e1qe2ej-0001dj...@franck.debian.org