[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 4bd5268aab4bc761d29921e884104a583710d70d

The following commit has been merged in the pristine-tar branch: commit 1bf5a52ae69a2869e095621bb5765026ba836887 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:44:39 2011 +0200 pristine-tar data for coq_8.3.pl2.orig.tar.gz diff --git a/coq_8.3.pl2.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 4bd5268aab4bc761d29921e884104a583710d70d

The following commit has been merged in the pristine-tar branch: commit 4bd5268aab4bc761d29921e884104a583710d70d Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 17:38:13 2011 +0200 pristine-tar data for coq_8.3.pl2+dfsg.orig.tar.gz diff --git a/coq_8.3.pl2+dfsg.orig.tar.gz.delta