runCommand -package:options -package:shake -package:beam-migrate -package:graphviz -package:pandoc-plot package:quickcheck-state-machine