post_install() {
  echo """
  Please refer to docs.angr.io for documentation
  """
}
