[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-1-2-g745e0fb

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 745e0fb3b3bc4c435870f1af25c22d495fac9f29
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 15 13:21:44 2008 +0200

    Update changelog and prepare for upload

diff --git a/debian/changelog b/debian/changelog
index 8267f20..47eeeab 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.2~beta4+dfsg-2) experimental; urgency=low
+
+  * [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
+    architectures (Closes: #495165)
+
+ -- Stephane Glondu <steph at glondu.net>  Fri, 15 Aug 2008 13:20:16 +0200
+
 coq (8.2~beta4+dfsg-1) experimental; urgency=low
 
   [ Samuel Mimram ]

-- 
coq packaging