e3176e9a1e721aef7e7a28721d1def7d  acl2-8.5-x86_64-3_slackdce.txz