[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-45-gebede58

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit ebede5869d3f33808725521a8dd63e0540b70531
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Dec 27 17:18:16 2008 +0100

    Ergo is now Alt-Ergo

diff --git a/debian/control b/debian/control
index 6b9566e..6bfecca 100644
--- a/debian/control
+++ b/debian/control
@@ -18,7 +18,7 @@ Description: A software verification tool
  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, Ergo, Yices, CVC Lite and haRVey.
+ decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
 
 Package: why-examples
 Architecture: all
@@ -30,7 +30,7 @@ Description: Examples of programs certified with Why
  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, Ergo, Yices, CVC Lite and haRVey.
+ decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
 
 Package: libjessie-ocaml-dev
 Architecture: any

-- 
why packaging