The following commit has been merged in the pristine-tar branch:
commit 9da9ed6769b017e77ba0f44965608731ee2b7d52
Author: Stephane Glondu <st...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
