-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 02 Jan 2012 17:29:13 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20111001+nitrogen+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: 652257 Changes: frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low . * New upstream release (Closes: #652257). * Update patches: - remove 0001-Value-Analysis-Carbon-patchlevel-1.patch - remove 0002-Fix-for-issue-727.patch - rebase 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - update 0004-Accept-ocamlgraph-1.8.patch - add 0003-Fix-spelling-error-in-binary.patch - add 0004-Use-bin-cp-instead-of-usr-bin-install.patch * Bump minimum requirement for ocamlgraph to 1.8. * Bump Standards-Version to 3.9.2, no changes needed. Checksums-Sha1: 3f2fa6076d186aef6d600c50dd124332fd47486d 1949 frama-c_20111001+nitrogen+dfsg-1.dsc 16dbf5c1bd9902a2908d0c1e19d174b5abe32da7 2719515 frama-c_20111001+nitrogen+dfsg.orig.tar.gz b7def1d9e54ea96f83f4e36086da519a0f910625 24960 frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz 38fcc7b1ac5ba4097666d4e93f612b2d98054230 3689548 frama-c_20111001+nitrogen+dfsg-1_amd64.deb 81f5ea5f6dc67a651d91b4d1cd396f64fbc67538 29687162 frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb Checksums-Sha256: 6373a0bbf5902af3767c08e7533099e4a8d4f99c566ce0db1f8d466fde6eeb5d 1949 frama-c_20111001+nitrogen+dfsg-1.dsc f6b699bd27e3539beb2212d57212b276cb5c444a87dc9553dc622bbd807173e2 2719515 frama-c_20111001+nitrogen+dfsg.orig.tar.gz 9eb8a8a15b9928d70c5ddbcf18a8dac04ae7366ecafe6a3a9047379b726a6ffa 24960 frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz a6d67989710e45b35a9aaf3ac7b3ac728741ed063418ad9b89b086a01724ffd8 3689548 frama-c_20111001+nitrogen+dfsg-1_amd64.deb 71289c88fdf843225aece123a8ad9afd1b3f5905ca3bd4e5d3653f5b0c1b3f7d 29687162 frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb Files: 73dead9bab4f0742685e02a2317c0879 1949 devel optional frama-c_20111001+nitrogen+dfsg-1.dsc 7a512643cb35cf516c488bc9734210f7 2719515 devel optional frama-c_20111001+nitrogen+dfsg.orig.tar.gz f18fb2328f5a42df906a2a6f3c7c6b66 24960 devel optional frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz 797b5ec73c862baf07f8726436eb6c14 3689548 devel optional frama-c_20111001+nitrogen+dfsg-1_amd64.deb 75eb17e239c7cee8beb960d7fbb9fb3c 29687162 devel optional frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJPAuJ6AAoJEDe1GR0FRlJoFOgH/0LjmTmPqjgOOTAEZVW6vekW YSTdBrcnBA1G8p/iek+X5OPTMiiF1mTV1nLvTf4W55KwGv/9FqnJDq8LK4KdHegR GGXF5MKYYzUwEK3tSuKb8vUPGBAR6n+BDp7UWYbqPTkukr7wsTZfvT2x14cvbK2a qRJhXUnkph73sGJuBGY3ShALzJOmI5iMBIcAnxReyb15tXaLBD5pbGhYK88rCoOg gbb3FIos9j/3Z81mXJL0weVjpSvGRtc+C1VmPNDviqoBKHYEq+dXwJPGk8jMgueR 0tQOVdD/y6aKYC2MVQhXq19C6bA2OKojLmcwgaX7jkXm0BGzO6x0W2KdIQll/MY= =wA0j -----END PGP SIGNATURE----- Accepted: frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-1_amd64.deb frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.debian.tar.gz frama-c_20111001+nitrogen+dfsg-1.dsc to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1.dsc frama-c_20111001+nitrogen+dfsg-1_amd64.deb to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-1_amd64.deb frama-c_20111001+nitrogen+dfsg.orig.tar.gz to main/f/frama-c/frama-c_20111001+nitrogen+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/e1ri2bo-0007bk...@franck.debian.org