3c0309f2987e6d5de5da9be4ee23aad9  ./mathlib_c66x_3_0_0_0_Win32.exe
c5aeb8e91c6a1bfeacef879e4cafed12  ./mathlib_c66x_3_0_0_0_Linux.bin
74fec2b2a10915ffdefccb53499db168  ./mathlib_c674x_3_0_0_0_Win32.exe
b0b3cf7c691b36cd846fea873eb31ede  ./mathlib_c674x_3_0_0_0_Linux.bin
336547867b8006cb98947c4856afa2da  ./Software_Manifest.html