c720fa90df84b042bd682d86fed56974  cvc4-1.8-x86_64-1_slackdce.txz