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

[smimram at users.alioth.debian.org]

Author: smimram
Date: Fri Sep  7 23:02:02 2007
New Revision: 4423

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4423
Log:
Depend on ocaml-base-nox.

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

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4423&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Fri Sep  7 23:02:02 2007
@@ -1,9 +1,9 @@
-coq (8.1.pl1+dfsg-3) UNRELEASED; urgency=low
+coq (8.1.pl1+dfsg-3) unstable; urgency=low
 
   * Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
     closes: #439570.
 
- -- Samuel Mimram <smimram at debian.org>  Mon, 27 Aug 2007 09:28:38 +0200
+ -- Samuel Mimram <smimram at debian.org>  Sat, 08 Sep 2007 00:35:31 +0200
 
 coq (8.1.pl1+dfsg-2) experimental; urgency=low