Accepted frama-c 20100401+boron+dfsg-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 14 Jun 2010 23:36:37 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20100401+boron+dfsg-3
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-3) unstable; urgency=low
.
* Add some patches
- 0007-Fix-cpp-command-arguments.patch
- 0008-Fix-ai-ival.ml-filter_ge.patch
Checksums-Sha1:
d77021ae8da76abcd6165ae1630d7477f620debf 2191 frama-c_20100401+boron+dfsg-3.dsc
06cde09882f1831cc944e83ac1f2cc7d2f463985 26878 frama-c_20100401+boron+dfsg-3.diff.gz
9543fe4090d44413948f3ed3c7e95fac22569a8a 3361364 frama-c_20100401+boron+dfsg-3_amd64.deb
26bad16bb1f46aa879faae881990288fa84f16bc 25051894 frama-c-base_20100401+boron+dfsg-3_amd64.deb
Checksums-Sha256:
62cd5b409b3eb7643febce465b8e79c17f605aea1ebe50281f60e7fcc6ad86d2 2191 frama-c_20100401+boron+dfsg-3.dsc
e1fa66230042250277c95af832347dd9002554bbcc633d67e47055cd0fb57ea0 26878 frama-c_20100401+boron+dfsg-3.diff.gz
87d4c9fd0295791be4aad5996d45a4d5f8a14cb7c19698db6af7abc08ed908ce 3361364 frama-c_20100401+boron+dfsg-3_amd64.deb
1cd922abc6eaa6d8ddbb7a3737511a4da05dcfcb8ef521d436ef71185c5525c2 25051894 frama-c-base_20100401+boron+dfsg-3_amd64.deb
Files:
d5641fcd89dc95ea8198b3b99cdf9879 2191 devel optional frama-c_20100401+boron+dfsg-3.dsc
e816bd8cb919489c3aa5f212f5327494 26878 devel optional frama-c_20100401+boron+dfsg-3.diff.gz
e8e3628985a82468c709e5d368035f62 3361364 devel optional frama-c_20100401+boron+dfsg-3_amd64.deb
f79ab1c612528bf0e8278bb19bf66189 25051894 devel optional frama-c-base_20100401+boron+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMM5dHAAoJEDO+GgqMLtj/CJcP/1sbDE/eGUS6cifeUswI4T79
ug03chtGMmj8tVdwjY6l51U11DOzZl+mdVjT19DXP+BXiRH6po/+y8RAbpYO95I9
5tbKB7BosBbxYwvptWPCchF0vzWm+ZCEdPxVz99hCgi3q6kZczNvAz/ltyMBSZh5
xmtvCVJMGBuR1kIloIvrQQcifYTqKMXvYnfmIvX8Rvbq1d7UpWSowsdetfXsie/X
0Z2ZDDFrxa6jMzYiF95uRn4u6VJJ28b15papFJCBNyDgCLGl8mIDYmOoiilHLoqB
0NRi5iwvjUesaRTzkBldsxpEwa8XvISAYLylS7RkMjKh6Ub7oKRYtI0C7oHCO6OQ
Xq4hbdy7QdegX+pyDZfLc4g6alhXrzaVN99iwejx7re/g473qy7as9CvEN3pFiqB
bx1QEjUrkIgH5qFXrWx/NpffaxBBKNW0GikSIeKoISXllYmP7B5zP8eCPOn8aJkV
wqb6HLZvZgUveILFWD8TIsF6LVQDebd7hyjMra0fL/jA9xofke021KjjndWcM0Dx
gQTov8Lm2c0BE8Pm0/M1/IIOj5CRZVFd33gknWUmmxpAuD0LAopkkKiaBNEKR0n1
3NcH8g2CUEGi07qwpDz8XbdhvGFyRmAKivG3v1W9fHK0XU4qQivZavQz7RGavbr5
nmHrORfHb/6tq0DPoLLh
=hOLj
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20100401+boron+dfsg-3_amd64.deb
to main/f/frama-c/frama-c-base_20100401+boron+dfsg-3_amd64.deb
frama-c_20100401+boron+dfsg-3.diff.gz
to main/f/frama-c/frama-c_20100401+boron+dfsg-3.diff.gz
frama-c_20100401+boron+dfsg-3.dsc
to main/f/frama-c/frama-c_20100401+boron+dfsg-3.dsc
frama-c_20100401+boron+dfsg-3_amd64.deb
to main/f/frama-c/frama-c_20100401+boron+dfsg-3_amd64.deb