0e2a816fc0ba025b7c9627c3cfa14d91  cvc4-1.7-x86_64-1_slonly.txz