-----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-----
