[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