-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 05 Oct 2010 18:49:13 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20100401+boron+dfsg-5 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 (20100401+boron+dfsg-5) unstable; urgency=low . [ Stéphane Glondu ] * Fix versioned build-deps to ensure smoother backports . [ Mehdi Dogguy ] * Add 0011-Fix-some-minor-memory-leaks.patch Checksums-Sha1: 9f898b8038cca61ad3438c4e4df7bf828860daef 2202 frama-c_20100401+boron+dfsg-5.dsc 7aa8efe9c12b888cbcdd3e0de8edbc08b26ac704 29386 frama-c_20100401+boron+dfsg-5.debian.tar.gz 4b7eb25e96de4c156c03909f1bbcc9fcbfc47a78 3358376 frama-c_20100401+boron+dfsg-5_amd64.deb 93d6c5b9c605d7ede868572fbde616ee1f438054 25054798 frama-c-base_20100401+boron+dfsg-5_amd64.deb Checksums-Sha256: 1e3ebc415bd354c9b89c6870091a83dbb5d9624891c35085137eee64f4bbfd0e 2202 frama-c_20100401+boron+dfsg-5.dsc ce7a8f076694778de1ff48a5729faf92487d5fd9cd2d16cbb94479320ddfe9cd 29386 frama-c_20100401+boron+dfsg-5.debian.tar.gz 067970edc5c9d94712671c7e13ce5c1f00c3958486c34321f70fcccfa399779a 3358376 frama-c_20100401+boron+dfsg-5_amd64.deb 2acc33ef7c90c1522f6781dec8ab291edd1869b1d18f441534379956654df117 25054798 frama-c-base_20100401+boron+dfsg-5_amd64.deb Files: 28ac27ee1343a5f0632d0bbfec144961 2202 devel optional frama-c_20100401+boron+dfsg-5.dsc 33d0664eec959725561ee2e67221598e 29386 devel optional frama-c_20100401+boron+dfsg-5.debian.tar.gz bf29c03c2a39707f60c4e225307bb954 3358376 devel optional frama-c_20100401+boron+dfsg-5_amd64.deb 302586c84f7f40caa2ede831948f9d02 25054798 devel optional frama-c-base_20100401+boron+dfsg-5_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJMq11hAAoJEDO+GgqMLtj/jr0P/1iaakAMTNo7287w2ABVaCXD SYuzzUcB91vciI3KO/KqnfdgsfkX7qW2sirVnzwcv3+xe4THogTEgg+2Vpkf94zb dCHPpayijmf1w7YATFDsS3Cr+VUGMcQ5ZoD8VdN+ueiykl9465db/qUMCyERfodN 6RcXViQ/1PJjnTqBeCJTnwljEImppFp546JAz4NwUtHwB4g4yQTiXxYz7PJcH8H6 6/LEFfIM3rqB/9ZMO95+L5GQKNZKriMLiMwqnTfkaG4hhK12bv40HartdKkWMIHI Vd6h0fcFjkHZPzmg5KvrQAk4rk4nodeurnn9PbeXtZ/z9awYsb/dp/G2MAIytQH9 F52nxfUaMY182GL4opss007XDqGFgEW5igsMtCxpKOhLnirNHNg8tDHUVS15m1OB WQSjQaPKGPmN7J17Ol2uHNvDnayoJJbj4bnVHzhIgmecAXiKSYYfx0Qd97I/b08w b4CWGC6sTInXH3mNul8vVfGyS2kL9EUUCvRAlR7nCEDFV7McnUnOrk7whTOrrsQC jfcjJ3L5JSm2aWXB+YB/1DAJ/O0rnSB044o5EfmfyOcdwCIkCKtfWZ3ZVj3dmQcD W1g/7y8Vxq9E5cEU3+zSUP6YmLYAGp4yGtHWsIp4CaaRF2w7Au/y1eTbUsVgCJ+r MBoEXxShjMO+mbUKbEd7 =DLNw -----END PGP SIGNATURE----- Accepted: frama-c-base_20100401+boron+dfsg-5_amd64.deb to main/f/frama-c/frama-c-base_20100401+boron+dfsg-5_amd64.deb frama-c_20100401+boron+dfsg-5.debian.tar.gz to main/f/frama-c/frama-c_20100401+boron+dfsg-5.debian.tar.gz frama-c_20100401+boron+dfsg-5.dsc to main/f/frama-c/frama-c_20100401+boron+dfsg-5.dsc frama-c_20100401+boron+dfsg-5_amd64.deb to main/f/frama-c/frama-c_20100401+boron+dfsg-5_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/e1p3bo1-0005nq...@franck.debian.org