DIST NuSMV-2.6.0.tar.gz 4223312 BLAKE2B 8915a3d0488a3d1d2910db7b7ad789131657c9e8f5562663333ed7b306424ded1985ffaf00b89d0edc693472c3e51003e54e6e71b853f3b28a81a5b3ae88d440 SHA512 3749e0267c2adffaa5f2f98ee925f5a774e3132277a02c549b3f4b836f8b090a44d6a14730b58251d7bb88055eb55e89f0eab7fea8714cb2f0786afd803efd0e
DIST zchaff.64bit.2007.3.12.zip 63139 BLAKE2B d843b029f51ae2437fafb306e6e8029bc484a061d99439d1e4a195831487238753360d1ec159edefc81c1d9565e2587ca492ddb4b5b90d3025e015d3202dde8b SHA512 075d0bceede6643a880763943cba9a2fa0f6c58c47b86c0a2bbbe86a2e3925dc5b3859800d1cab0c558d727635556beb77f9efbd0f2837a768ef8d513dc2b300