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

[Mehdi Dogguy]

The following commit has been merged in the pristine-tar branch:
commit 6b2008c7c91411ef0e00db1edac5497ff112f6a7
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu May 7 23:12:11 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
new file mode 100644
index 0000000..c135ffb
Binary files /dev/null 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
new file mode 100644
index 0000000..826346b
--- /dev/null
+++ b/frama-c_20081201.dfsg.orig.tar.gz.id
@@ -0,0 +1 @@
+d935621c8b7e6ed49cfab1c88cdae374137bb330

-- 
frama-c packaging