[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-3-4-g500c384

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 36cfaf51ef4db37a4b5ad6487d251f75d87ca1dd
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:34:21 2010 +0200

    Bump standards version to 3.9.0, no changes needed.

diff --git a/debian/changelog b/debian/changelog
index 66e928c..b12c2e7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ frama-c (20100401+boron+dfsg-4) unstable; urgency=low
 
   * Add 0009-unrollType-in-handle_signed_overflow from upstream.
   * Convert to 3.0 (quilt) source format.
+  * Bump standards version to 3.9.0.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:32:59 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:34:05 +0200
 
 frama-c (20100401+boron+dfsg-3) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index cfd5e93..20155e3 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends:
  libocamlgraph-viewer-ocaml-dev (>> 1.4),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2),
  liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2)
-Standards-Version: 3.8.4
+Standards-Version: 3.9.0
 Homepage: http://frama-c.com/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
@@ -59,7 +59,7 @@ Recommends:
  alt-ergo,
  libwhy-coq
 Replaces: frama-c (<< 20090902+beryllium+dfsg-1)
-Conflicts: frama-c (<< 20090902+beryllium+dfsg-1)
+Breaks: frama-c (<< 20090902+beryllium+dfsg-1)
 Description: Framework for C source code analysis (without gui)
  Frama-C is a framework dedicated to the analysis of the source code
  of software written in C.

-- 
frama-c packaging