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

[Stephane Glondu]

The following commit has been merged in the pristine-tar branch:
commit e2043cd8d397bbce6591f9a447efa176050cd047
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 11:02:13 2010 +0100

    pristine-tar data for coq-doc_8.2pl1.orig.tar.gz

diff --git a/coq-doc_8.2pl1.orig.tar.gz.delta b/coq-doc_8.2pl1.orig.tar.gz.delta
new file mode 100644
index 0000000..2c11c8e
Binary files /dev/null and b/coq-doc_8.2pl1.orig.tar.gz.delta differ
diff --git a/coq-doc_8.2pl1.orig.tar.gz.id b/coq-doc_8.2pl1.orig.tar.gz.id
new file mode 100644
index 0000000..7045dbc
--- /dev/null
+++ b/coq-doc_8.2pl1.orig.tar.gz.id
@@ -0,0 +1 @@
+962cf5c4b31528868f55e42c445e36ca90a1ab51

-- 
coq-doc packaging