SHA512 (frama-c-Chlorine-20180502.tar.gz) = 07a59144231fc13b188b2027c152944f695d69a540929a7a91467536065b1d5a0c1a991215cd75c91b6a062dc431e3e288d93f28122acbada9e3d584137bc586
SHA512 (frama-c-Chlorine-20180501_api.tar.gz) = b77f94696b67130c7a06e18951626572aeaea773d00e755be1c24d6cc0edf002121be1aca879f5afa1880ed7d2ef03347d78a57cd93f1fc4c292a87b1c576c58
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-Chlorine-20180501.pdf) = b0a3b349a1dc4d04d6e26e964a17e2febd819b1f161b76a2a73a14e04860cb749f94132d3ba64e97db3e0734b5c535a21f8d95debff4d4c9bf38c44b431bcec6
SHA512 (aorai-manual-Chlorine-20180501.pdf) = 6dbbc8a577ac16decd0393178e76910945c6071a46efd464f720c88cf36b307504d10fc938e07d6cd3df5bbe6f97a97c9548e1cb89d3421a3e3caa60e8a6973b
SHA512 (e-acsl-manual_Chlorine-20180501.pdf) = 6b8d9c83c0f80b0a0d3fe191279d288bcb4c96a228ed5b4c52602458d65c59031015b08ce5de34fe26475922643b6d88fb9add0c71286cb6631341ac6d0d7091
SHA512 (metrics-manual-Chlorine-20180501.pdf) = 6085fc3c94432cabacb78f550e6b9c454e4010e6cfbf0bc17bc34098525afe5eb5694c4d86497a43b53b6ff3be27b4fc90652f8d008bb148f781216fb35b2898
SHA512 (plugin-development-guide-Chlorine-20180501.pdf) = 3ec84e9827ce4f49ed8c4c2ae56c16836f2c5c9719e2673d6b14ed514f1a2f01337ad2e09881800c1bf2d92262e642cda0316cf3205c5458e619ac391b229d1e
SHA512 (rte-manual-Chlorine-20180501.pdf) = 76a7fbeaaee2c6c562244e3fc566ff3b169ef899e2f9f4b96bedf667afee53a5a820a05562b7b1670aa2183649d8e7524029c2af5d605b2bc39af4e3a4c71472
SHA512 (user-manual-Chlorine-20180501.pdf) = 2cef06eb82a3ff7303b809c704ee608a6278c63584243bc43c87fb48722644d006efc93a46abd9640174878adaa2309cac3be4b97b58ba97ea382c4af787472b
SHA512 (value-analysis-Chlorine-20180501.pdf) = e67755f785d6d5085591ce520348ddfac7437f5b01e28991db308bc38c24a3907fb754dd06e1f90ff990bfd100a1c399271e787ed05f6aed5da3db6128e18ed5
SHA512 (wp-manual-Chlorine-20180501.pdf) = b2cfac1e2a7535ca93d4f217f352b0afdfd1037e115c075e4193d9236f3b29a9ea980d123b459d846073d4c8cdd87b19a5d1d44c50c109561ee526b7ab1801df