-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 25 Apr 2011 12:03:31 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20110201+carbon+dfsg-2 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) Changes: frama-c (20110201+carbon+dfsg-2) unstable; urgency=low . * Add "-I +ocamlgraph" to DYN_{O,B}LINKFLAGS, needed for plugins to link. - add 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - add libocamlgraph-ocaml-dev to frama-c-base's runtime dependencies. Checksums-Sha1: 734420aa674ab15180d518518fbaa391d790699b 1859 frama-c_20110201+carbon+dfsg-2.dsc e5c0e4e2f83bd6d3d2a0fb24752b7f22ce3445d0 40013 frama-c_20110201+carbon+dfsg-2.debian.tar.gz 626335fabc6605b3660d1beaa178e55fd7c22e8a 3715700 frama-c_20110201+carbon+dfsg-2_amd64.deb 3a4c0b90b000162b710363f819ea5e8f5b86f088 21028368 frama-c-base_20110201+carbon+dfsg-2_amd64.deb Checksums-Sha256: 270a036c852d36d164bce33714e0d0dbb332666f493e9800cbd3ddd5691e5210 1859 frama-c_20110201+carbon+dfsg-2.dsc 11789e515507b9acfc08ad6543bffcab8b5acdd8c9ce7ecebcb9b487d004446c 40013 frama-c_20110201+carbon+dfsg-2.debian.tar.gz 9fb43cd6f84588c7b177ee9dcf8e22923511b327ea09ac036a5504986560f8ff 3715700 frama-c_20110201+carbon+dfsg-2_amd64.deb 86019509b745d7e1828fb05f4889feeb8fe8ebea35fdf10e60719b0bf8c75d9a 21028368 frama-c-base_20110201+carbon+dfsg-2_amd64.deb Files: 4c92f99a8dc2186fd22edd4fb116a6ed 1859 devel optional frama-c_20110201+carbon+dfsg-2.dsc b41a4337719b15c225275e4a7bec970f 40013 devel optional frama-c_20110201+carbon+dfsg-2.debian.tar.gz 3f4ffc4a31cf756772afe4b4d46e5e88 3715700 devel optional frama-c_20110201+carbon+dfsg-2_amd64.deb 0bd0322040788d7e07133e048010288d 21028368 devel optional frama-c-base_20110201+carbon+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJNtVAKAAoJEDe1GR0FRlJoJ38H/iWi/XDzQLazzNDwqQ4XWX7R C5c18NFK20hxEdroQLph78YRFIdurShFknPRErSiGi2O2+Pg/Tp3qZp3AfXbDUvi f7WMK/V6QU+BT7M5VPUOVXWoiNCnV4M2+FpeAPo73bqFHvwSW8+gQhbCS8fvNQwa K7STtEQP7or9/x6QbDBAd/q/m+dwwoZgxIrvqpsp/gY8OWdyJC+nlmaofRNOzdrh faONsXR0R/IimNTaRxiTI1giooJJoltRKxa4rmlgexFHhtvfLw9qVwdn9ux8zEXB jhlcBE1IARxewjDcuDjgbfAcFWM+MkXvePqP0uB3GOYeEkeYI5Koy9a9ixk8F50= =zXVH -----END PGP SIGNATURE----- Accepted: frama-c-base_20110201+carbon+dfsg-2_amd64.deb to main/f/frama-c/frama-c-base_20110201+carbon+dfsg-2_amd64.deb frama-c_20110201+carbon+dfsg-2.debian.tar.gz to main/f/frama-c/frama-c_20110201+carbon+dfsg-2.debian.tar.gz frama-c_20110201+carbon+dfsg-2.dsc to main/f/frama-c/frama-c_20110201+carbon+dfsg-2.dsc frama-c_20110201+carbon+dfsg-2_amd64.deb to main/f/frama-c/frama-c_20110201+carbon+dfsg-2_amd64.deb -- 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/e1qejyf-0005jv...@franck.debian.org