[Pkg-ocaml-maint-commits] [frama-c] 01/04: Disable apron

Mehdi Dogguy mehdi at moszumanska.debian.org
Wed Dec 21 13:25:32 UTC 2016


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

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

commit 0de4c1860e11423458840ea9e8f96a5ef20cac76
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed Dec 21 13:08:50 2016 +0100

    Disable apron
---
 debian/changelog | 6 ++++++
 debian/control   | 1 -
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index ce8e183..241dbd7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20161101+silicon+dfsg-2) UNRELEASED; urgency=medium
+
+  * Disable apron
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Wed, 21 Dec 2016 13:08:38 +0100
+
 frama-c (20161101+silicon+dfsg-1) unstable; urgency=medium
 
   * New upstream release
diff --git a/debian/control b/debian/control
index da57bd6..8a54b1b 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,6 @@ Build-Depends:
  graphviz,
  autoconf,
  libzarith-ocaml-dev,
- libapron-ocaml-dev,
  ocaml-findlib,
  libfindlib-ocaml-dev,
  libocamlgraph-viewer-ocaml-dev (>> 1.8.5~),

-- 
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