diff options
Diffstat (limited to 'devel/frama-c/distinfo')
| -rw-r--r-- | devel/frama-c/distinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo new file mode 100644 index 000000000000..22dea72971a1 --- /dev/null +++ b/devel/frama-c/distinfo @@ -0,0 +1,2 @@ +SHA256 (frama-c-Carbon-20110201.tar.gz) = 0c212443224fb8a3b0d6b0337db7d7666a9f53628f9b0c5f411e563dcb4b2256 +SIZE (frama-c-Carbon-20110201.tar.gz) = 34484913 |