[Pkg-ocaml-maint-commits] [frama-c] branch pristine-tar updated (4a48d02 -> d1c4358)

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a change to branch pristine-tar
in repository frama-c.

      from  4a48d02   pristine-tar data for frama-c_20151002+magnesium+dfsg.orig.tar.gz
       new  66d546d   pristine-tar data for frama-c_20160502+aluminium+dfsg.orig.tar.gz
       new  d1c4358   pristine-tar data for frama-c_20161101+silicon+dfsg.orig.tar.gz

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 frama-c_20160502+aluminium+dfsg.orig.tar.gz.delta | Bin 0 -> 326160 bytes
 frama-c_20160502+aluminium+dfsg.orig.tar.gz.id    |   1 +
 frama-c_20161101+silicon+dfsg.orig.tar.gz.delta   | Bin 0 -> 225941 bytes
 frama-c_20161101+silicon+dfsg.orig.tar.gz.id      |   1 +
 4 files changed, 2 insertions(+)
 create mode 100644 frama-c_20160502+aluminium+dfsg.orig.tar.gz.delta
 create mode 100644 frama-c_20160502+aluminium+dfsg.orig.tar.gz.id
 create mode 100644 frama-c_20161101+silicon+dfsg.orig.tar.gz.delta
 create mode 100644 frama-c_20161101+silicon+dfsg.orig.tar.gz.id

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git