[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl1-3-3-g0aa06f9

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b81ea12a37b3f8e196a53fb531a50693294afc38
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Apr 24 14:29:47 2011 +0200

    Notice in README.source about arch:all package

diff --git a/debian/README.source b/debian/README.source
index 6f73f75..24e6695 100644
--- a/debian/README.source
+++ b/debian/README.source
@@ -24,4 +24,12 @@ dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
 refer to the appendix about Git in the Debian OCaml Packaging Policy
 (from the same package).
 
- -- Stéphane Glondu <glondu at debian.org>, Wed,  9 Mar 2011 20:56:24 +0100
+
+Building arch:all package
+-------------------------
+
+Building the arch:all package, libssreflect-coq, is not supported on
+architectures with native compiler, but with no natdynlink (only armel
+at the time of writing).
+
+ -- Stéphane Glondu <glondu at debian.org>, Sun, 24 Apr 2011 14:29:19 +0200

-- 
ssreflect packaging