936bcb6f875c56b713d4b1db52a168f5  yices2-2.6.4-x86_64-1_slackdce.txz