[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-2-2-g801f2ed

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 801f2ed206d8b0dbc23403fcd62a97d6508226e2
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jul 26 09:24:41 2009 +0200

    More precise informations in README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
index 7da3eb6..7e9997a 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -12,7 +12,9 @@ upstream release, your Coq files should be recompiled.
 Coq frontends
 -------------
 For interactive use of coqtop, we suggest
-- either the Debian cle package
-- or the Proof-General (x)emacs mode
+ - a readline editor, such as ledit or rlwrap (or anything that provides the
+   readline-editor virtual packages);
+ - or the Proof-General (x)emacs mode, available in the proofgeneral-coq
+   package.
 
 However, we recommend you to use the CoqIde GTK+ interface provided in coqide.

-- 
coq packaging