From 06e68c3dcfcda1479176630061da728fb754f8d3 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Mon, 21 Nov 2005 19:43:47 +0000
Subject: Updated to OCaml 3.09.0.

---
 debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index 00918f5c..e6e71135 100644
--- a/debian/control
+++ b/debian/control
@@ -3,13 +3,13 @@ Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
-Standards-Version: 3.6.1.1
-Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.08.2), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0)
+Standards-Version: 3.6.2
+Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0)
 
 Package: coq
 Architecture: any
 Depends: ${shlibs:Depends}, coq-libs (= ${Source-Version})
-Recommends: coq-doc, coqide | proofgeneral-coq
+Recommends: coqide | proofgeneral-coq
 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
-- 
cgit v1.2.3