diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:23 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:31 +0100 |
commit | 899e0b980396967970b15d062985dca7e29c59d3 (patch) | |
tree | 9fb47e879fb6a2752ee50c974db64660191c29c2 /debian | |
parent | 144b0828b16f2ddde3c34aaccb59a70d8f977fae (diff) |
proofgeneral-coq has been dropped in favour of proofgeneral
Diffstat (limited to 'debian')
-rw-r--r-- | debian/control | 6 |
1 files changed, 3 insertions, 3 deletions
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 |