SHA512 (frama-c-28.1-Nickel.tar.gz) = b946e71867757c4840b075e28444a1038d77bd9bd5060e246dcef80d23aa222277c14af1d84504725efcdbf47bb61ee1d2d2027299351d8ab12ac19262e0e739
SHA512 (frama-c-28.1-Nickel-api.tar.gz) = 0fba39f81d23c6f283e241a562acc573f463659fc725b86947fc78a74087080cdc4cbca2d50750416b4045b7a635cf0c808ce684bb6b74235fce5e57d7566e48
SHA512 (frama-c-server-28.1-Nickel-api.tar.gz) = 13e5fd81c591dba91d62bba84bfd60ad7861442d03f26adef2d825497ab73a277d252ba97c83c2996a4bea073eaa3abcc948b18f80de142c6b26a800258f90ba
SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
SHA512 (acsl-implementation-28.1-Nickel.pdf) = e3fb5c502faec48590d220273664dfd06c40314e3b3f58db5c63843c5f87a05e9509841a2d6a3fdd2cd9f42e60ba356f2f06737a5eac0474c5cea417d9bb593f
SHA512 (aorai-manual-28.1-Nickel.pdf) = cc1f4746d5f60f4cee3a2b63b7d4e02257ff8e51e66f90fc5ac615d0ead54c6a54b86debb2e37bc1a2f49b3721aea432faface8c8c28deed5d73d7411c35f3c1
SHA512 (e-acsl-implementation-28.1-Nickel.pdf) = 8f00055d124a597c8fca65cde57d470dc21581d288cd85fecfb4e28c7b1e9568c823b4ed008479146658518b4052831bbed558d1a759c4856fdecbb6aa967543
SHA512 (e-acsl-manual-28.1-Nickel.pdf) = 4ece012d613f804e722f7d82ce1fd4cf0ea82698ddf3c6c2a8ba165b0638f499d120b6c110258682e136b474ec2992bad33f6d708a503274da071793b9f38c45
SHA512 (eva-manual-28.1-Nickel.pdf) = ac3deb87f867eb857a33facc46a7205d19dec47d1b0a3018686c852ded4e7dbe99326323d7119e70e94d8662cd1bca3efb8e75e4ea9b61a00b7df77466d6148f
SHA512 (metrics-manual-28.1-Nickel.pdf) = 9b17160e3217895148b1b033cdc2cb772fdd0118de67278fe7114bc85c91302d12a46961ca5e8d42bae2c1c9fe5358e1b4c0584e0bbba69334460a0ef033ba21
SHA512 (plugin-development-guide-28.1-Nickel.pdf) = f246674a5a3819f8fd4431339b032825a9b518535af74b89ef6fa2eb5cd1128444c21c29ffc8b0f72de3b58969f2fc10db8dadcd1a603e585c0a023e5e167573
SHA512 (rte-manual-28.1-Nickel.pdf) = 8ced200e978cf28de6a8e11266166551c715672db14f82e624cc21014775e19e2688a312412997fd9f9e95176e81b3e4768181e790fc916a4ca25dafe2ec81fa
SHA512 (user-manual-28.1-Nickel.pdf) = a57a19b4e65756683d61361c3a329f93f303a24178c2f3a4e7dbfc6e473ceadff599ec8623334fb2a2eac914ca636de75689f9d7c313b0c92c42ffbb96ac815b
SHA512 (wp-manual-28.1-Nickel.pdf) = 979a775abd4078bbd76f3809af674ee6570eca9d73931435fa475dbad31c20a87d7963c395d99615060873368cbaf008a50a726aec1fd277162173d7ac6d07fc