The following commit has been merged in the master branch:
commit 745e0fb3b3bc4c435870f1af25c22d495fac9f29
Author: Stephane Glondu <[EMAIL PROTECTED]>
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 <[EMAIL PROTECTED]> Fri, 15 Aug 2008 13:20:16 +0200
+
coq (8.2~beta4+dfsg-1) experimental; urgency=low
[ Samuel Mimram ]
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
