runCommand -package:options -package:shake -package:wai-app-static -package:github-release -package:pandoc-plot package:quickcheck-state-machine