f847a1ae16e946f86aee8745310a3973  acl2-8.5-x86_64-4_slackdce.txz