falcon-z3 0.4.4

{
  "git": {
    "sha1": "0f2b8666d9fe22f573f012ffd066f083bb97288e"
  }
}