[Pkg-ocaml-maint-commits] [frama-c] 01/02: Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104)

Mehdi Dogguy mehdi at moszumanska.debian.org
Sun Jan 15 12:17:33 UTC 2017


This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 6bc52c4bad050b3241c88b368c8f72071982b869
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 15 13:00:52 2017 +0100

    Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104)
---
 debian/changelog | 7 +++++++
 debian/control   | 2 ++
 2 files changed, 9 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 18d6c02..bf512e3 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+frama-c (20161101+silicon+dfsg-5) UNRELEASED; urgency=medium
+
+  * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
+    frama-c (Closes: #851104)
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Sun, 15 Jan 2017 13:00:17 +0100
+
 frama-c (20161101+silicon+dfsg-4) unstable; urgency=medium
 
   * Fix FTBFS by avoiding use of PWD variable in Makefile
diff --git a/debian/control b/debian/control
index 721af91..3e9ede3 100644
--- a/debian/control
+++ b/debian/control
@@ -30,6 +30,8 @@ Depends:
  frama-c-base (= ${binary:Version}),
  graphviz,
  emacs | emacsen
+Breaks: frama-c-base (<= 20140301+neon+dfsg-3)
+Replaces: frama-c-base (<= 20140301+neon+dfsg-3)
 Description: Platform dedicated to the analysis of source code written in C
  Frama-C gathers several analysis techniques in a single collaborative
  framework, based on analyzers (called "plug-ins") that can build upon the

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git



More information about the Pkg-ocaml-maint-commits mailing list