7ee3b14cf7cc3460082ec8066e9150901a8780e01b5c9157e1af98f60efc43c6  acl2-8.5-x86_64-5_slackdce.txz