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

The following commit has been merged in the pristine-tar branch: commit 40cda54d2e5623d94212a4822218bc67d13417e7 Author: Stephane Glondu Date: Sat Jun 9 09:25:31 2012 +0200 pristine-tar data for ssreflect_1.3pl3.orig.tar.gz diff --git a/ssreflect_1.3pl3.orig.tar.gz.delta b/ssreflect_1.3pl

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

The following commit has been merged in the pristine-tar branch: commit 135e4bda787e179474259e959ee53eb33c8d5771 Author: Stephane Glondu Date: Sat Jun 9 09:25:40 2012 +0200 pristine-tar data for ssreflect_1.3pl4.orig.tar.gz diff --git a/ssreflect_1.3pl4.orig.tar.gz.delta b/ssreflect_1.3pl