f853b5ce3d8e05a5b6bdfd76a3b7a31f159c15c8145f46980bf44849148a063d  crux-3.8-rc2.iso