[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, pristine-tar, updated. 9da9ed6769b017e77ba0f44965608731ee2b7d52

[Stephane Glondu]

The following commit has been merged in the pristine-tar branch:
commit 9da9ed6769b017e77ba0f44965608731ee2b7d52
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Mar 16 17:04:13 2012 +0100

    pristine-tar data for hol-light_20120312.orig.tar.gz

diff --git a/hol-light-20120312.tar.gz.delta b/hol-light_20120312.orig.tar.gz.delta
similarity index 100%
rename from hol-light-20120312.tar.gz.delta
rename to hol-light_20120312.orig.tar.gz.delta
diff --git a/hol-light-20120312.tar.gz.id b/hol-light_20120312.orig.tar.gz.id
similarity index 100%
rename from hol-light-20120312.tar.gz.id
rename to hol-light_20120312.orig.tar.gz.id

-- 
hol-light packaging