99aab029e055502ea83963095333e3f0  lean-elan-3.0.0-x86_64-1_slackdce.txz