d04f78b0b0edb7eec1ee5bb6a6e256c6  acl2-8.5-x86_64-5_slackdce.txz