0554fc11b5f5397c14c557ec20e330ff7df730f8f944a97098c84e3ca28ace9d  eprover-2.4-x86_64-1_slonly.txz