[Pkg-ocaml-maint-commits] r1114 - packages/coq/trunk/debian

[Samuel Mimram]

Author: smimram-guest
Date: 2005-03-25 14:34:05 +0000 (Fri, 25 Mar 2005)
New Revision: 1114

Added:
   packages/coq/trunk/debian/coq.docs
Modified:
   packages/coq/trunk/debian/control
   packages/coq/trunk/debian/coq.dirs
Log:
Corrected a small mistake.

Modified: packages/coq/trunk/debian/control
===================================================================
--- packages/coq/trunk/debian/control	2005-03-25 12:37:44 UTC (rev 1113)
+++ packages/coq/trunk/debian/control	2005-03-25 14:34:05 UTC (rev 1114)
@@ -10,7 +10,7 @@
 Architecture: any
 Depends: ${shlibs:Depends}, coq-libs (= ${Source-Version})
 Recommends: coq-doc, coqide | proofgeneral-coq
-Suggests: ocaml-3.08, proofgeneral-coq, ledit, cle
+Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle
 Description: proof assistant for higher-order logic (toplevel and compiler)
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal

Modified: packages/coq/trunk/debian/coq.dirs
===================================================================
--- packages/coq/trunk/debian/coq.dirs	2005-03-25 12:37:44 UTC (rev 1113)
+++ packages/coq/trunk/debian/coq.dirs	2005-03-25 14:34:05 UTC (rev 1114)
@@ -3,4 +3,3 @@
 usr/lib/coq
 usr/share/man/man1
 usr/share/pixmaps
-ide/utf8.v

Added: packages/coq/trunk/debian/coq.docs
===================================================================
--- packages/coq/trunk/debian/coq.docs	2005-03-25 12:37:44 UTC (rev 1113)
+++ packages/coq/trunk/debian/coq.docs	2005-03-25 14:34:05 UTC (rev 1114)
@@ -0,0 +1 @@
+ide/utf8.v