c934dc5093
both current and newish versions of OCaml - Disable E-ACSL plugin for now which fails to build bundled jemalloc - Drop useless DIST_SUBDIR, the distfile name is unique enough
3 lines
186 B
Text
3 lines
186 B
Text
TIMESTAMP = 1496311445
|
|
SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
|
|
SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131
|