Accepted frama-c 20100401+boron+dfsg-5 (source amd64)
-----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-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@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