SHA512 (frama-c-21.1-Scandium.tar.gz) = 57562f7f9779f040fd12a881b358383a495990f9cdc0da6d03799591ece291710a1805e32eb0cac1703974edd090a6999a2940a84f3247204715c497e4235ab5
SHA512 (frama-c-21.1-Scandium-api.tar.gz) = 327f1c989fa2fb1e522208e1946d3c3e9d422a3e59afcfc9f87435994c18d544fac1e923ed59c12cdde413762c9603d67fd8bd7da85b7c84be23daeb5009be56
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-21.1-Scandium.pdf) = e79a20708da174aa8961563b6936c8c07c5352c1092b6fff7a5620e3d78a487ecb8ca77f9f2918b5561a44870b1b381e8a6154a113f8cc0558ac558c1ec699ca
SHA512 (aorai-manual-21.1-Scandium.pdf) = 54e4e37987f9dbe85f75e3c148665672cd77027ad911ddb4009456d40176507c9a5c3dfeaf30966c5c5971f148513f791b4268113be6ab6ee64d4a81931e5e6b
SHA512 (e-acsl-manual-21.1-Scandium.pdf) = a82831637a55e839f57e3102a95822974cc03b9461ad3c86c4a56746f8d4b4eb4d60f7563014b2e7d309aa906001aa80508da47c7079c883aeb55b8853f0449d
SHA512 (eva-manual-21.1-Scandium.pdf) = 1fd4a192c814e79c0a621b56a404d66a1a5d5df829ed418089cc79d958c381077545dca9ec52a40d69abed9444d35d7356ac84af1c4d1178b8a9be67c8b83fd0
SHA512 (metrics-manual-21.1-Scandium.pdf) = 17ece00a5d14554491f805e5bd8059a7faf929bae2e33cb10703f7b5349e8066404a5afc381ce4dfe9d356eac8ef89e7766fc08d5e13840e2091eb756b32ad32
SHA512 (plugin-development-guide-21.1-Scandium.pdf) = 089a357a739ede02d2aa5cd9954cb7f544e231014814c80622df0b4e441b62041b4a664a571af6d9171cd72565aa9d968b1db51d5046a52fe79e40f324259cf7
SHA512 (rte-manual-21.1-Scandium.pdf) = d91468a7b95817f557bbfd55bd08ac55326045e827bf9900e821187179fac8e18910930c7129b67b28052cf8c7b3c7f3e0150b6d80b9722303f8ad19443c4c1c
SHA512 (user-manual-21.1-Scandium.pdf) = 2a8e3c37c81c89943e8e79a0d7b6eb66861bfa263d823371f807c877089a577db8d741997cfc23c572c7459e3be8fbbfc38b781a790d49be2433411b58f564c9
SHA512 (wp-manual-21.1-Scandium.pdf) = ac410e32b8973dc81c3912ab33bd31653582ad5c8bfbb23117a63412ae653eb7606e6ccbc71ce6454e70854d6a39a85dff09af6883541b74a0d3a49025c9c09c