[ubuntu/maverick] frama-c 20100401+boron+dfsg-4 (Accepted)

[Iain Lane]

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.

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

Date: Fri, 16 Jul 2010 13:53:55 +0200
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/frama-c/20100401+boron+dfsg-4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 16 Jul 2010 13:53:55 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20100401+boron+dfsg-4
Distribution: maverick
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
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.
 .
 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: 
 f792e63006d48f8c922b24e04c3d15d2fa8e89ac 1558 frama-c_20100401+boron+dfsg-4.dsc
 9502c98c7225d6f1a1cccdd55a962c3b8374433b 28201 frama-c_20100401+boron+dfsg-4.debian.tar.gz
Checksums-Sha256: 
 1973b8665bc8e4951b32197660f57c27a5e04e5024eba3980588f8d1a2f68e66 1558 frama-c_20100401+boron+dfsg-4.dsc
 d9a2b8339f11ca671a7b84d8255cbe3596b8640ab3a3f0df5595d8ac86bb459b 28201 frama-c_20100401+boron+dfsg-4.debian.tar.gz
Files: 
 da05404ca7ce475c3fed63f775ef05b8 1558 devel optional frama-c_20100401+boron+dfsg-4.dsc
 e4309c74e5ea0f7434a2f8a995350138 28201 devel optional frama-c_20100401+boron+dfsg-4.debian.tar.gz
Origin: debian/unstable

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkxS8gEACgkQPy0SnCC/zcegiwCguQWUu4ew3k6ChE2VHwjD2sSH
OyAAn0X2Tdi7EMigodf1HB542EuBSjSC
=0gg+
-----END PGP SIGNATURE-----