[Pkg-ocaml-maint-commits] r4785 - in /trunk/packages/coq/trunk/debian: changelog control

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sat Nov 17 17:50:09 2007
New Revision: 4785

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4785
Log:
Add a dependency from coq to emacsen-common.

Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/control

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4785&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Sat Nov 17 17:50:09 2007
@@ -1,3 +1,9 @@
+coq (8.1.pl2+dfsg-3) UNRELEASED; urgency=low
+
+  * Add a dependency from coq to emacsen-common, closes: #435023.
+
+ -- Samuel Mimram <smimram at debian.org>  Sat, 17 Nov 2007 17:48:45 +0000
+
 coq (8.1.pl2+dfsg-2) unstable; urgency=low
 
   * Upload to unstable.

Modified: trunk/packages/coq/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/control?rev=4785&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/control (original)
+++ trunk/packages/coq/trunk/debian/control Sat Nov 17 17:50:09 2007
@@ -10,7 +10,7 @@
 
 Package: coq
 Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, ocaml-base-nox-${F:OCamlABI}, coq-libs (= ${source:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, ocaml-base-nox-${F:OCamlABI}, coq-libs (= ${source:Version}), emacsen-common
 Recommends: coqide | proofgeneral-coq
 Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
 Description: proof assistant for higher-order logic (toplevel and compiler)