8c535721b1ee86e4da779a5d85e1875d crux-1.3-src.tar.gz