scrub-obsolete Package - cryptominisat

No unpublished successful runs for cryptominisat.