diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:23 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:51 +0200 |
commit | b2e7bf847ea2669ec3231cfd62e8d77c901df363 (patch) | |
tree | ebdefce3f084d5dea24517828e7fa18c63084e02 | |
parent | 4482ea1edb5570f0beca73183c1d32756970c317 (diff) |
proofgeneral-coq has been dropped in favour of proofgeneral
-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 |