[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4_beta+dfsg-2-1-g899e0b9
Stephane Glondu
steph at glondu.net
Sat Jan 14 14:12:10 UTC 2012
The following commit has been merged in the experimental/master branch:
commit 899e0b980396967970b15d062985dca7e29c59d3
Author: Stephane Glondu <steph at glondu.net>
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:
${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
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list