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

Ralf Treinen treinen at moszumanska.debian.org
Tue Oct 11 19:45:13 UTC 2016


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

treinen pushed a commit to branch try
in repository why.

commit 3e8e7ff15fd6c68149c5096c780b13b08ea7151a
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 787b624..5bccc06 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,8 +13,9 @@ why (2.36-1) UNRELEASED; urgency=medium
   * Bump build-dependency on frama-c to magnesium.
   * 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 0bf6ab0..1bae0c4 100644
--- a/debian/control
+++ b/debian/control
@@ -43,23 +43,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



More information about the Pkg-ocaml-maint-commits mailing list