[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