[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, pristine-tar, updated. 85a8612bae951f8d10e8d5e222b4d13627b40b77

[Stephane Glondu]

The following commit has been merged in the pristine-tar branch:
commit 85a8612bae951f8d10e8d5e222b4d13627b40b77
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Mar 26 10:33:21 2011 +0100

    pristine-tar data for ssreflect_1.3pl1.orig.tar.gz

diff --git a/ssreflect_1.3pl1.orig.tar.gz.delta b/ssreflect_1.3pl1.orig.tar.gz.delta
new file mode 100644
index 0000000..46637d7
Binary files /dev/null and b/ssreflect_1.3pl1.orig.tar.gz.delta differ
diff --git a/ssreflect_1.3pl1.orig.tar.gz.id b/ssreflect_1.3pl1.orig.tar.gz.id
new file mode 100644
index 0000000..c415847
--- /dev/null
+++ b/ssreflect_1.3pl1.orig.tar.gz.id
@@ -0,0 +1 @@
+f786d0f57032b34ca7d6e22972758324b064a8b4

-- 
ssreflect packaging