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

[Stefano Zacchiroli]

Author: zack
Date: 2004-12-13 08:43:13 -0700 (Mon, 13 Dec 2004)
New Revision: 870

Modified:
   packages/coq/trunk/debian/changelog
Log:
rebuilt (just for fixing bytecode-only powerpc .deb)


Modified: packages/coq/trunk/debian/changelog
===================================================================
--- packages/coq/trunk/debian/changelog	2004-12-10 16:38:01 UTC (rev 869)
+++ packages/coq/trunk/debian/changelog	2004-12-13 15:43:13 UTC (rev 870)
@@ -1,3 +1,9 @@
+coq (8.0pl1-5) unstable; urgency=low
+
+  * Reuploaded since powerpc .deb did not include native code executable
+
+ -- Stefano Zacchiroli <zack@debian.org>  Mon, 13 Dec 2004 16:05:18 +0100
+
 coq (8.0pl1-4) unstable; urgency=low
 
   * Rebuilt against ocaml 3.08.2