[Pkg-ocaml-maint-commits] r4212 - /trunk/packages/coq/trunk/debian/changelog
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Thu Aug 30 07:21:41 UTC 2007
Author: smimram
Date: Thu Aug 30 07:21:41 2007
New Revision: 4212
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4212
Log:
Close bug in changelog.
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=4212&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Thu Aug 30 07:21:41 2007
@@ -1,6 +1,7 @@
coq (8.1.pl1+dfsg-3) UNRELEASED; urgency=low
- * Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
+ * 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
More information about the Pkg-ocaml-maint-commits
mailing list