runCommand -package:shake -is:exact -package:shake-plus -package:github-release package:quickcheck-state-machine