917593e2aeb66974ad1090673650b58b  acl2-8.5-x86_64-1_slackdce.txz