DIST mcl-08-312.tar.gz 2749006 SHA256 0061da0661e99f783d97e6ae10149fe5ce11fa332b24cc8a4a491a072867bb6e SHA512 9f89f81af398710ebb9135c93653d892fc9daef360d70f3b890a3133d8a17dddffe568b110d3370602cead895562bc0dc5a71020834b3b3e9b6d2abf4bf64b0b WHIRLPOOL 6d00665c545edb55605fb0438cc79a412150e68b9c63ffc51c93f8f8c33b9bcd6e4e5e435b3be89a64407a0a8f6f1b8e77567f653e45c08f1675dbf2b9e0b59e
DIST mcl-12-135.tar.gz 2970824 SHA256 3f5e0e7ad1074c7c4ef0139aa3318f92971fede7292dc3571eca2fd1da20a283 SHA512 97234e88f3430f223e1f303577b2b8853f40de6b204de415466719f691f529a795b17bf2fd48d4cc73d05900c87a10ba9afabbe54bce9367ee59215e7db0a8f5 WHIRLPOOL 1505643a460ba5bd6b834d070278a108fba57c9dc2a90a72a8e0726bd54a1b8fe3e4792a63397d58db62b036d22c325db2dd76f696a8692473987395c556a279