The following commit has been merged in the master branch:
commit b2e7bf847ea2669ec3231cfd62e8d77c901df363
Author: Stephane Glondu <>
Date:   Sat Jan 14 15:11:23 2012 +0100

    proofgeneral-coq has been dropped in favour of proofgeneral

diff --git a/debian/control b/debian/control
index 98b15dc..f2a5e66 100644
--- a/debian/control
+++ b/debian/control
@@ -29,10 +29,10 @@ Depends:
 Provides: coq-${F:CoqABI}
-Recommends: coqide | proofgeneral-coq
+Recommends: coqide | proofgeneral
- proofgeneral-coq,
+ proofgeneral,
  ledit | readline-editor,
  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

coq packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to