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 <trei...@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 <trei...@debian.org> Fri, 30 Sep 2016 21:28:43 +0200
+ -- Ralf Treinen <trei...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
