diff -Nru frama-c-20161101+silicon+dfsg/debian/changelog frama-c-20161101+silicon+dfsg/debian/changelog
--- frama-c-20161101+silicon+dfsg/debian/changelog	2017-01-01 16:28:41.000000000 +0000
+++ frama-c-20161101+silicon+dfsg/debian/changelog	2017-01-15 12:00:55.000000000 +0000
@@ -1,3 +1,10 @@
+frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium
+
+  * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
+    frama-c (Closes: #851104)
+
+ -- Mehdi Dogguy <mehdi@debian.org>  Sun, 15 Jan 2017 13:00:55 +0100
+
 frama-c (20161101+silicon+dfsg-4) unstable; urgency=medium
 
   * Fix FTBFS by avoiding use of PWD variable in Makefile
diff -Nru frama-c-20161101+silicon+dfsg/debian/control frama-c-20161101+silicon+dfsg/debian/control
--- frama-c-20161101+silicon+dfsg/debian/control	2017-01-01 16:26:01.000000000 +0000
+++ frama-c-20161101+silicon+dfsg/debian/control	2017-01-15 12:00:13.000000000 +0000
@@ -30,6 +30,8 @@
  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