SHA512 (frama-c-24.0-Chromium.tar.gz) = 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
SHA512 (frama-c-24.0-Chromium-api.tar.gz) = 6cc8729a82dca5d836973bf15e2b7f571c7db4b8353c730b3fcc252344e73451594b152698f51d67f4234aa9d75a6fba99e8240c20413c36e6aa3a212b869364
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-24.0-Chromium.pdf) = 63e1b095f752e303462500d4dcb80f3b0fded13ddc290acd3b23723d70928674e7b46f66dba32517a8c7ac0eb7b79ff60e1fa87a44b2a428e84087fbc399dc5c
SHA512 (aorai-manual-24.0-Chromium.pdf) = 56c36a7ede245c71b8a02d83681a0359c911e2dba7fa17181a5ebb2dea3749bb077b12d57ffa94e7dc770194cab05bc20c3790990ce0542d080855331e2f18c7
SHA512 (e-acsl-implementation-24.0-Chromium.pdf) = 87754bb6b2303ec20eb04ed3a6136245b4b27ba91a159722e651d53114161ee12b89b6df479c8ca5df4a672e62362127b504d90bbd344aaeda2f41f7245e71c2
SHA512 (e-acsl-manual-24.0-Chromium.pdf) = 4616964f0b14f1d79579e175783db1a7fb8eb1bf9a8ad9ae8e408036dceb5320345895a8ab1b1e07e612f024b314385efb9b95af09e90d79eeae90c87ebfe5e0
SHA512 (eva-manual-24.0-Chromium.pdf) = c8e99f72a89c94f7294eceb4f07f2b20604861f4ac338772ac91b340a6c110a9aab30df107e59fa46a2e7b87b31420ec9f4bb7a10de6fed0463ba979461ec218
SHA512 (metrics-manual-24.0-Chromium.pdf) = cfde107fc52151afee85439353af0298342a168d0fc2641e5383f675313e5a9e1d47a30ed53e50dd1536428bd458b2270c60f53cf29a75d3b66b006a5e0dbf66
SHA512 (plugin-development-guide-24.0-Chromium.pdf) = 554c49c15ca9e494be48eebc3bc8ec29fbfa21c2f6f1e2fe467d058cf2fe5f286602d8329160cfe44aea972f70bdbd44c66a1fe4d6266796817e0a6a3034bac0
SHA512 (rte-manual-24.0-Chromium.pdf) = 80a61bf2646ab9bf79f6ff0ec5e52647e51a6954158dc16db038dbe58db44be1a1bc081c0f7cef8181f37b5b2d7ec7084f1b75c88d5f9a54b66923618d9e6f19
SHA512 (user-manual-24.0-Chromium.pdf) = 61fd13f139400f72fec5f3acd0f50e1bbacd11717d23ab936325cfd149a23ee8b83ec3b80cbbbcc67a5d1031778d91bb11050769af0bb6591a791f86a445bb7a
SHA512 (wp-manual-24.0-Chromium.pdf) = 9d6e78ed93a329ebfc4390cd283fc6126101e1d795c52a45aeb185e6a4680caabf490995a3634695e0d4c0b5fa6d57aa08d98fd20b2378f467721c0f387774dd