SHA512 (frama-c-Phosphorus-20170501.tar.gz) = b3b73932378cba7be8ac0cbb1f7311e8f60dde68cad55c10659ffa40e76ab3f106d554e245ccd90ffb5307b9a42b6ce51154a5b9c006687b8c5808c77ca4c2f3
SHA512 (frama-c-Phosphorus-20170501_api.tar.gz) = 5d5a564cd13d61357cd3afbb69f9fd07c52ed2cb696fa50dafe4eabbbb270ee18b66b711948b6c6d064bdf1076bf1ee4a663c03389b5f5dab2d8d8a349eaf570
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-Phosphorus-20170501.pdf) = d69b646bd09cb86540f2b50478b9a8d5463d5b1059b173b9bc0fb5b2b0e59b7c7961bccd0aef41b70273ad3a63f37ae3d942c704d177a59e918e6922aeb57572
SHA512 (aorai-manual-Phosphorus-20170501.pdf) = 1238f882d564d78c6cb7157c4630b0189e3ac6cf5f9642bf08b20ccad3dbff7bf3178d2d60e27b681daac95d576f5465b1acb843dd87063b7593e28bc5d584f2
SHA512 (e-acsl-manual_Phosphorus-20170501.pdf) = 5e074808f2162fda670dcd640532c32df49515adb186f97927064109233333a37534d37692aca4b60fe9c7066140fe9d43c40765787f2be8b5d64190e2336a31
SHA512 (metrics-manual-Phosphorus-20170501.pdf) = 6a92b71c6e04147db9402e411232c5a2f13ae5b22d20532e439702f572b3c80db50f4651b81b2ea4ebac6a6147caf090213f27125d4ab47f58041e7ca5b7ab84
SHA512 (plugin-development-guide-Phosphorus-20170501.pdf) = 49a87ef502d4a6a2822c26348dd277cc73aa914c63f84e4a4344cf51fb4f99f7b18e467b8d62077b1b9537dbcd33144a605c0e63fc27fc480f69937cae223ae3
SHA512 (rte-manual-Phosphorus-20170501.pdf) = d1df3ecb2221020a57faec21dc02860d81a9a998e4f8c727960e885cf42feb735be7fc308206ea1e88dc5212502bb70dc1b5347abb046a3fff47d7564cd82ca6
SHA512 (user-manual-Phosphorus-20170501.pdf) = c7747fadff9c26adb51b6dc5591aeb8c25a9b2e8da19f37bbdd25b4e01aeca38a856df1e8446455a276404e7302d6b421ba2cbe046a4d4bbe41bba5846938e97
SHA512 (value-analysis-Phosphorus-20170501.pdf) = 784f353457b654425c08f69f19b6f715b88f40136c4b2b4499a5106ff15542cc41fca188b1255f7e4a4a17bb36aba96a2f1d0fe566ee8391c2012b7ede3ea375
SHA512 (wp-manual-Phosphorus-20170501.pdf) = bf64f72203e988ce399dec5e6c0a5a7ca9278a9c85fae22b4dd31601bd40720934ce09288cf1a0d3e4085e5c843a33577f56a4d1436e5319bb0c7b1a14150282