SHA256 (crlibm/crlibm-1.0beta4.tar.gz) = 6836b4299f9421c99da2bdcd5e04a8d35577db4eb61161a401aa93751a96375d
SIZE (crlibm/crlibm-1.0beta4.tar.gz) = 2368435
SHA256 (crlibm/crlibm-1.0beta3.pdf) = cbde4b66d1fa331fa7806effb41119deb42a294df64c117c966fd659d947a5ea
SIZE (crlibm/crlibm-1.0beta3.pdf) = 1350926
SHA256 (crlibm/tripledoubleprocedures-1.0beta3.pdf) = 55bd342c623e369e5450b36337da3879e18b1a483d55706e2f979c9cce906fac
SIZE (crlibm/tripledoubleprocedures-1.0beta3.pdf) = 460704