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

[Mehdi Dogguy]

The following commit has been merged in the pristine-tar branch:
commit 39a8dd4b1487c0355ea7b3829a27631962bbf416
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jun 2 14:38:17 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 20b84a6..7221f37 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 d3b8f9b..a3eefc3 100644
--- a/frama-c_20081201.dfsg.orig.tar.gz.id
+++ b/frama-c_20081201.dfsg.orig.tar.gz.id
@@ -1 +1 @@
-57510f45708c914921c3fef3c112dc78cfb1e1ad
+d5572ba2327819d29945e9c70163263251859821

-- 
frama-c packaging