[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