path: root/dev-ml/menhir/Manifest

DIST menhir-20170712.tar.gz 855262 SHA256 ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000 SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc WHIRLPOOL 0c7cfcc798c2126ca345b38560972dfca79adf2b5bf2fa0d4dccaf1745298dec601c902cae8f9b35970e63084d0a261cd42f230b1c452905a28607d18fcebeed
DIST menhir-20171013.tar.gz 854000 SHA256 7c1bfed0bda443c40408c2bb2e2a4bae2f6168ac1d5a7e258117dcea83c51cbf SHA512 ba6359c471aee62c996bd6495612f444e7ac226f7aad9991a76e4daa2df00cdec2387c488c6a29246ca48079bd8199b94de09a44f1fb05465cbeddff0b39df54 WHIRLPOOL ef58abaaa96ad8365d5359ee8e99ad7098763b3266af89417b481d234d7e5f5cd1d2aa8cba8cafebb5b6a4a64509f9faeb7088e9d6eab13d844ef3e64bc0b73f