crackNum-3.12: dependencies

Dependencies for crackNum-3.12

crackNum	base (>=4.11 && <5) deepseq directory filepath ghc libBF process sbv (>=10.9) tasty tasty-golden