28996c168e6d46ee1a3d80f350a5322a99e1d50e5282843cd2329dc3e6dfe0b6  cvc4-1.8-x86_64-1_slackdce.txz