crackNum-3.8: dependencies

Dependencies for crackNum-3.8

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