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

[Mehdi Dogguy]

The following commit has been merged in the pristine-tar branch:
commit 736417b042c71a5b4ae0bf986a5ccb3ffc5ad2af
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue May 19 21:37:12 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 c135ffb..73a8ebd 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 826346b..35f740c 100644
--- a/frama-c_20081201.dfsg.orig.tar.gz.id
+++ b/frama-c_20081201.dfsg.orig.tar.gz.id
@@ -1 +1 @@
-d935621c8b7e6ed49cfab1c88cdae374137bb330
+69e93ca4bc9b2287f8b19c35bce5fdf18828303e

-- 
frama-c packaging