Accepted frama-c 20140301+neon+dfsg-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Apr 2014 19:16:49 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20140301+neon+dfsg-3
Distribution: unstable
Urgency: medium
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 (20140301+neon+dfsg-3) unstable; urgency=medium
.
* Add a call to autoconf prior to configure.
Checksums-Sha1:
7a3974736246ddc2b8364d18b35c03f7ee1d5a0c 2320 frama-c_20140301+neon+dfsg-3.dsc
e77206008d6cd93382129173a107cb983bd74820 23800 frama-c_20140301+neon+dfsg-3.debian.tar.xz
2e3d042f12e65b741177780f1b17ac99cae28741 3652868 frama-c_20140301+neon+dfsg-3_amd64.deb
b3f4eb2d6bd0c96b7f08c5b932dd885542a70067 19068272 frama-c-base_20140301+neon+dfsg-3_amd64.deb
Checksums-Sha256:
295c189be03ad19b12357f94d6dc7c3921a0ebea9f0b1a4ec8be0d33797ec47c 2320 frama-c_20140301+neon+dfsg-3.dsc
d387897ba30356b4f829371336fb34f055e3406594196019d82860a3592304a2 23800 frama-c_20140301+neon+dfsg-3.debian.tar.xz
a9a0fc29a6b886d40cb1c87b5fd61fdb30d5448772b84e16df1cf461da885f6b 3652868 frama-c_20140301+neon+dfsg-3_amd64.deb
7363149b3e668cb204dc4d2b8bb92f2d5c851acc0b671b3b7d9d5424f7817e80 19068272 frama-c-base_20140301+neon+dfsg-3_amd64.deb
Files:
898d20eb07e54dff84f26bda35b34054 3652868 devel optional frama-c_20140301+neon+dfsg-3_amd64.deb
3aa027814cb8e7a9f3416de8b740bf58 19068272 devel optional frama-c-base_20140301+neon+dfsg-3_amd64.deb
bebb5001887aae5c497c1a8da29f7d82 2320 devel optional frama-c_20140301+neon+dfsg-3.dsc
ebd0f8e25d55d427aaccdb62a68720d9 23800 devel optional frama-c_20140301+neon+dfsg-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTX+NLAAoJEDO+GgqMLtj/F3sQAJd+lGyOz73CDEtoLzTszK7U
PoRRUbugpVo42nRnq9JPXpaWYAd0aPGDY2ZubAmMtfj3BxPZFe+PQKQAz5GlzsYr
dJ+MX4otdrFoGq58oU53qw6ygVfaensaDhX4UlHYfKgWVIPeinX2xLmSpYpwudJh
qX/lNSeXl7r4cglTE8SH3f49dm6EoDvTbfQWpmlYIfF5zY0iUGCadDYDYKuhdz0T
2hljPM6mY/tXI6+n1yaF87BQltIVsYVjuN0EvpTHtwIQb51K+GfYBROVMZfTuXnq
LoR5/ZQnd1hPgXH2/GBdKqbyklnx/+LyMtmPAsm0ACydk6b7vhFXtILAwNZZoJPp
vuN9uMsXfj5TP7TaUHABPvSGKu7eSyLn6J1tP8OT/zl24POrgXA0l+uCW7vkiWlv
hxdZ1+oLC8n7a5O7g181/tsp1PC9JwANCZPi1tuZ3sQKeH+UZhJNvlRHSntH9SR5
JrxRLALgRh+STIHv5EGpVDMkkEUvdWbILnuHC8/bRCSMXo4XUo9fk89rh1v4NZCc
l2I1zePOT1D4w+BmdbHpuRLnjVOoD+QGhcVovAE6dPW4qPfPzy1L8ZSIPwEcJmGr
6r05KPGphwO7Xh3dHSRyShyopImbQkplYLOCxzepmfXpQdLAj/LByEbjC3xRUQHL
MRrBvymmPaufHV6vGizU
=1Axz
-----END PGP SIGNATURE-----