SHA512 (frama-c-19.0-Potassium.tar.gz) = 0642c9fe3ece976f4edca672a4c5ca79e9c192019b3e5e002be90e442504751a97fb6b964d8ca3a60491bcf5b6845013c8f66bac06e777faffeca5a69195b018
SHA512 (frama-c-19.0-Potassium-api.tar.gz) = 46307c9ded2274056fd5190185a35cb62531fda92a963fe73ad15cfdd334ba2fc4a461535d0dbd810341029d1f5b57472469fcd3d7e8cf42f319dbff27e1b533
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-19.0-Potassium.pdf) = bfca437ec8ab11d8c9439cfa8f01ad8202acbb9f44a1b223121cd057ff263856186a36564f70e07c055e863a1dbef1a0303a156f8f3b6942b030c835b5fddc3c
SHA512 (aorai-manual-19.0-Potassium.pdf) = e026b52935867f5edeb15c674c1127558571b97936df387c371e5328abb37b08745d349b58da0cb17563df01b529b2c24f39bfa8dcb82b2a3d2eab96f9ccc743
SHA512 (e-acsl-manual-19.0-Potassium.pdf) = 38238b27ac3036b715ca3b9949d37cfcf44cc1ab802d5dcd694874820023c9c70e23eb3a7a88d29e6ac0012230774d4e1790ed2fe3018909ae8f9e0c6b3ed026
SHA512 (eva-manual-19.0-Potassium.pdf) = 2713d9aa61495aa4d9accbcbce244aa97e56636192e3dfdae0193a2dd2aa924ee206c3c44094851434057f8cabecc45c97a2972dc4e30627e6d187811b3484bc
SHA512 (metrics-manual-19.0-Potassium.pdf) = b610403924b2ca967796477aeef935a4ddf640540e3a727afd168e62bd92ebd4dd480240af1f8be82d79305ee392d2682d17d69a5676cec87eec92a0ee33aecb
SHA512 (plugin-development-guide-19.0-Potassium.pdf) = ed72b46f2be631a47871bf6764ad130aebdfa46ed3c0a85b1928369a089f32893f808980f2a79a76a045b3a5be4297d48ac9ad4c66c69cd9f8a9eb6a100043cf
SHA512 (rte-manual-19.0-Potassium.pdf) = 3695339bf7e195d17886b71e5977bc23ec8110d98093d920dea2c4b981a91ae16da01f312ae4d658a17f367c9acf071cb0c7d1ac6e81b7d84dc39bc50f3d9d3f
SHA512 (user-manual-19.0-Potassium.pdf) = 1aece5e22e38e1e284c0b283f7ed7085437bfac5521ab389b8796357145b849bd8e5f12426d5be3719eb673aac1984f6efafc681ab57ea21fe3040df2c5f52d5
SHA512 (wp-manual-19.0-Potassium.pdf) = 721fdf476838c2f148abd194ff5d1d49132c71df4be3ad95730ff1e7ceca964ed3e4a8385d1cc7d357c87f04e392d5c3f55fbf9a6798a7a90a3bcb79cb9b4250