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