Accepted frama-c 20100401+boron+dfsg-4 (source i386)
-----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