-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 16 Jul 2010 13:53:55 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source i386 Version: 20100401+boron+dfsg-4 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-4) unstable; urgency=low . * Add 0009-unrollType-in-handle_signed_overflow from upstream. * Add 0010-More-spelling-fixes.patch * Convert to 3.0 (quilt) source format. * Bump standards version to 3.9.0. Checksums-Sha1: 544bfda7b8d20c3406f069a35305cbc6dffbc81d 2198 frama-c_20100401+boron+dfsg-4.dsc 9502c98c7225d6f1a1cccdd55a962c3b8374433b 28201 frama-c_20100401+boron+dfsg-4.debian.tar.gz 6038d3be97c00d5b2c1bd97497f14d5d8aed5f8c 2945200 frama-c_20100401+boron+dfsg-4_i386.deb 2c6ac31df701c1461cec00fc4123deabed25ebe8 24586736 frama-c-base_20100401+boron+dfsg-4_i386.deb Checksums-Sha256: b9a8d8350173810d72a493966a70743dfafc6d108ef2df2a2780496e4e046912 2198 frama-c_20100401+boron+dfsg-4.dsc d9a2b8339f11ca671a7b84d8255cbe3596b8640ab3a3f0df5595d8ac86bb459b 28201 frama-c_20100401+boron+dfsg-4.debian.tar.gz 75936f15d171dc851fcb42b3b4efffe1e27ae709f8cb50c109c98a00cc64297a 2945200 frama-c_20100401+boron+dfsg-4_i386.deb 5bdc1ddc926d7d21651a7d0c98bfd76cc09f6a104613bba458de268b93e84742 24586736 frama-c-base_20100401+boron+dfsg-4_i386.deb Files: 18240396121cfab6c6fa498eb2fe3b4a 2198 devel optional frama-c_20100401+boron+dfsg-4.dsc e4309c74e5ea0f7434a2f8a995350138 28201 devel optional frama-c_20100401+boron+dfsg-4.debian.tar.gz 44a0e64ee721db917e70989c15f246fc 2945200 devel optional frama-c_20100401+boron+dfsg-4_i386.deb d33f992fd4ed69acef55b997caa45c44 24586736 devel optional frama-c-base_20100401+boron+dfsg-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJMQEwaAAoJEDO+GgqMLtj/SHQQALb6lTegBOeA7rneMOT4/sxG vUu+ixhwNcx39UxQJMKdNadIzobnTN8cmjJtzcPG42qiKFPGk5lvcptju2emCxCt BGBUek03YLo2yhtRfk4RwIDJpBNlL7e6IUNUk2QVMBx+R65t7vQ0bGpc1DtpUzui MjBfJOeksPrGg0PRSb2JhvKo74C6Xd0brP2LEl9cKGsbjX+lOrwG4+ieTj4ksgDX 2m1T8hjK7GMX9RVrjt24tUIxTyERmoCC+nW6GFiJKPhFYan8tvcT4kh80i1xkKWp VyLSmra5lzeW16gImVlyMzUa8v3FFC6Fxd/WRfRIcU1Bk3+4YQqUEkIkQ9AvXGFB JXS3ZRV3PkIyfpswaykwSMBRpakoYRh9Oexv+47ulFVEp1ZCDkRQhSZ2RulZfNAd FgpCLxCw45cpEwmgsPw6kDtGYLuMrN6YHgMTqy0T5ekEKCIsviuyZf/vXYAGzu07 eM6GBjxX4Lp97oCoJP+Xd+PIa+A3zhtfTh4ZUtdSREJB6xWI3PPr0TMVOuOIqv1F kCEgU/8rwLWfDci3GzQp/Pxf+GtSOe5Bwq4dL1NbAi65qWGmHIvWbyWk7keQzP38 iG4gh7DqfMz+HKxGbgCfFIm2Ua3wzoUmBJ374zTxX1QkhxRvGm3QNPne5W7O1NQ5 ZMxgBl8REUm+Udi99rcK =FXBa -----END PGP SIGNATURE----- Accepted: frama-c-base_20100401+boron+dfsg-4_i386.deb to main/f/frama-c/frama-c-base_20100401+boron+dfsg-4_i386.deb frama-c_20100401+boron+dfsg-4.debian.tar.gz to main/f/frama-c/frama-c_20100401+boron+dfsg-4.debian.tar.gz frama-c_20100401+boron+dfsg-4.dsc to main/f/frama-c/frama-c_20100401+boron+dfsg-4.dsc frama-c_20100401+boron+dfsg-4_i386.deb to main/f/frama-c/frama-c_20100401+boron+dfsg-4_i386.deb