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

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.

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

The following commit has been merged in the master branch: commit c2b0b6213988a0592da8b773064949c637f8b64d Author: Stephane Glondu <[EMAIL PROTECTED]> Date: Fri Aug 15 12:26:18 2008 +0200 Add non-native-archs.dpatch Fix FTBFS on non-native architectures (Closes: #495165) diff --git