From 899e0b980396967970b15d062985dca7e29c59d3 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sat, 14 Jan 2012 15:11:23 +0100
Subject: proofgeneral-coq has been dropped in favour of proofgeneral

---
 debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index 98b15dc2..f2a5e66b 100644
--- a/debian/control
+++ b/debian/control
@@ -29,10 +29,10 @@ Depends:
  ${shlibs:Depends},
  ${misc:Depends}
 Provides: coq-${F:CoqABI}
-Recommends: coqide | proofgeneral-coq
+Recommends: coqide | proofgeneral
 Suggests:
  ocaml-nox,
- proofgeneral-coq,
+ proofgeneral,
  ledit | readline-editor,
  libcoq-ocaml-dev,
  why (>= 2.19),
@@ -48,7 +48,7 @@ Description: proof assistant for higher-order logic (toplevel and compiler)
  .
  A graphical interface for Coq is provided in the coqide package.
  Coq can also be used with ProofGeneral, which allows proofs to be
- edited using emacs and xemacs. This requires the proofgeneral-coq
+ edited using emacs and xemacs. This requires the proofgeneral
  package to be installed.
 
 Package: coqide
-- 
cgit v1.2.3