[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, pristine-tar, updated. 37dce9f8d825d59dd47f7f053e3851f87e6d1014

[Mehdi Dogguy]

The following commit has been merged in the pristine-tar branch:
commit 37dce9f8d825d59dd47f7f053e3851f87e6d1014
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 15:17:02 2009 +0200

    pristine-tar data for frama-c_20081201.dfsg.orig.tar.gz

diff --git a/frama-c_20081201.dfsg.orig.tar.gz.delta b/frama-c_20081201.dfsg.orig.tar.gz.delta
index 73a8ebd..20b84a6 100644
Binary files a/frama-c_20081201.dfsg.orig.tar.gz.delta and b/frama-c_20081201.dfsg.orig.tar.gz.delta differ
diff --git a/frama-c_20081201.dfsg.orig.tar.gz.id b/frama-c_20081201.dfsg.orig.tar.gz.id
index 35f740c..d3b8f9b 100644
--- a/frama-c_20081201.dfsg.orig.tar.gz.id
+++ b/frama-c_20081201.dfsg.orig.tar.gz.id
@@ -1 +1 @@
-69e93ca4bc9b2287f8b19c35bce5fdf18828303e
+57510f45708c914921c3fef3c112dc78cfb1e1ad

-- 
frama-c packaging