MD5 (polyml/driver.420.tar.gz) = 3855385041e1a7d860ba72734c153ce4
SHA256 (polyml/driver.420.tar.gz) = e9113992bd911a70de0d830e2f5bb2e6b314e00f24702a270f7116cc1515e84f
SIZE (polyml/driver.420.tar.gz) = 496596
MD5 (polyml/mlsource.420.tar.gz) = 873b02beab2e083232d6a8bbddab5225
SHA256 (polyml/mlsource.420.tar.gz) = ebe29bd4290c95882b012b193dc25bda0d5a575d67d6a8ab8239314ee3de250a
SIZE (polyml/mlsource.420.tar.gz) = 923393
MD5 (polyml/basis.420.tar.gz) = fa307ceda8a6556d8407c4b5edc6e303
SHA256 (polyml/basis.420.tar.gz) = bb381d5b99987b08064a707001766ea64113de4b1a75a12ad443ca8c9d0675cc
SIZE (polyml/basis.420.tar.gz) = 148810
MD5 (polyml/DB420.i386.unix.gz) = 7591ad2e94002c3827918c4846c0a4c4
SHA256 (polyml/DB420.i386.unix.gz) = 6f3c40c2ac8f479a4e7307e20907e53af29b3a75e05fdd34184ee2b9b29309bf
SIZE (polyml/DB420.i386.unix.gz) = 1848015