[Pkg-ocaml-maint-commits] [why] 11/21: drop package why-examples

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit fed222cf980f962150fc277d60b8f62e1f61b480
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Sep 30 21:39:59 2016 +0200

    drop package why-examples
---
 debian/changelog            |  3 ++-
 debian/control              | 17 -----------------
 debian/why-examples.dirs    |  1 -
 debian/why-examples.install |  2 --
 4 files changed, 2 insertions(+), 21 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 34fc409..cdd9a1f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -14,8 +14,9 @@ why (2.36-1) UNRELEASED; urgency=medium
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable tests
   * d/rules: create bin directory before invoking dh_auto_build
+  * drop package why-examples as upstream has moved his examples to why3 
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 30 Sep 2016 21:28:43 +0200
+ -- Ralf Treinen <treinen at debian.org>  Fri, 30 Sep 2016 21:39:14 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 8ec7117..ce669e7 100644
--- a/debian/control
+++ b/debian/control
@@ -42,23 +42,6 @@ Description: Software verification tool
  assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
  decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
 
-Package: why-examples
-Architecture: all
-Depends:
-  ${misc:Depends},
-  libwhy-coq,
-  why
-Section: doc
-Description: Examples of programs certified with Why
- Why aims at being a verification conditions generator (VCG) back-end
- for other verification tools. It provides a powerful input language
- including higher-order functions, polymorphism, references, arrays and
- exceptions. It generates proof obligations for many systems: the proof
- assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
- decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
- .
- This package contains examples of programs verified using Why.
-
 Package: libwhy-coq
 Architecture: all
 Depends:
diff --git a/debian/why-examples.dirs b/debian/why-examples.dirs
deleted file mode 100644
index b2fdacc..0000000
--- a/debian/why-examples.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/share/doc/why
diff --git a/debian/why-examples.install b/debian/why-examples.install
deleted file mode 100644
index 2e87d17..0000000
--- a/debian/why-examples.install
+++ /dev/null
@@ -1,2 +0,0 @@
-examples-c/ usr/share/doc/why/
-examples/ usr/share/doc/why/

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