01e4a6d6e5746217fe28fe8f54a3fe4d lean-elan-3.0.0-x86_64-2_dce.tgz