path: root/devel/frama-c/distinfo



                                                                                                              
TIMESTAMP = 1496311445
SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131